Tokens:

Grammar in EBNF Form: := + := "class" := "sdagentry" "(" "*" ")" := | "{" + "}" := | | | | | |

:= "overlap" := "atomic"

:= "if" [] := "else" := "while"

:= "for"

:= "forall" "[" "]" "(" ")" := ":" ","

:= "when"

:= | [ "," ] := [ "[" "]" ] "(" "*" ")"