Table 2.

Constraints on valid target sequences used in constrained decoding and constraint solving

Use	Constraint
D	First output must be an argument type or the end-of-sequence (EOS) token
D	Argument types must be followed by a compatible subtype or by at least one token
D	Subtypes must be followed by at least one token
D	Tokens may be followed by other tokens, an argument type, the event separator, or EOS
D	Tokens must be subsets of the source text
D	Argument types in the same event must be compatible
DS	Within each argument $(T,A,[p_1,p_2,p_3])$, the tokens must be ordered left-to-right as $p_1<p_2<p_3$ relative to the original source text
DS	Within each event like $(T_1,C_1,[p_1,\dots ])+(T_2,C_2,[q_1,\dots ])$ it must be the case that $p_1\le q_1$
DS	Within each event sequence like $(T_1^a,C_1^a,[p_1,\dots ])+(T_2^a,C_2^a,[q_1,\dots ])+\cdots \hspace{0.17em}\&\hspace{0.17em}(T_1^b,C_1^b,[r_1,\dots ])+\cdots$ it must be the case that $p_1\le r_1$
	Events must contain exactly one trigger argument type
	Events must not contain duplicate argument tuples

Note: In the “Use” column, a D indicates a constraint used in constrained decoding. An S indicates a constraint used in constraint solving.