t ::= S
t ::= K
t ::= xp
p ::= 'p
p ::=
t ::= `tt