{ parser lookahead=7; } Binder = List(Statement) EOF. Statement : Assignment | IfStatement | LoopStatement. IfStatement = Condition List(Statement) "if". LoopStatement = Condition List(Statement) "loop". Assignment = Ident Ident "*". Condition = [TrueC] ":". TrueC = "trueC". List(S) ~ "(" {S} ")".