a formula of the conjunction.
the formula of the deontic operator.
the formula of the existential.
the formula of the universal.
a formula of the disjunction.
a formula of the suborder list.
the formula of the strong negation.
a formula of the equivalence.
data for a time expression.