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