Main = <s> String.
Assignment = "{" List(Literal) "}".
Literal : Pos | Neg common Variable.
Pos = .
Neg = .
Variable = Ident.
List(S) ~ { *s S}.

History = <start> State List(TNState).
State = <m> Assignment "||" <f> Instance "||" <n> Assignment.
TNState = TransitionRuleName "->".
TransitionRuleName = Ident.
Instance = "instance".