Junction grammar is an analysis of the structure of sentences that not only describes the structure, but also predicts what kind of sentences can be formed.
One formula consisting of algebra-like symbols can generate hundreds and hundreds of sentences.