The grammatical/generative part of the syntax starts with an alphabet, out of which termini and formulae are (recursively) built, thereby yielding arbitrary hierarchical expressions. For assumed processing steps see (Supplemental Information: Figure S1).