::= ";" | ::= | | | ::= "SYSTEM" "=" ::= "BEHAVIOR" "=" ::= "INTERACTION" ::= "WHEN" ::= | ::= "|" | "|" ::= | ::= "(" ")" | ::= ::= "*" | "+" | "?" | "{" integer "}" | "{" integer "," "}" | "{" integer "," integer "}" | empty ::= | ::= | ::= "->" | "==" ::= ":" ::= | ::= ">" | "<" | ">=" | "<=" | "==" ::= integer | string | property ::= "{" triggerClause "}" // TODO: expand on triggerClause implementation ::= ::= ::= alphanumString