stylistic:style_transfer, quality:corruption, stylistic:tone, structural:scholar_edition
Terms

The set of terms is inductively defined by the following rules:

Only expressions which can be obtained by finitely many applications of rules 1 and 2 are terms. For example, no expression involving a predicate symbol is a term.