A preamble consisting of a list of terms.
Since the terms are untranslated,
we do not constrain them to be of any specific type,
analogously to tests in premises
(see discussion in atc-premise).
A list of premises, in order.
The preamble is fixed, and logically precedes the premises.
The premises, as explained in atc-generation-contexts, grow.
