::= "@" ( "/")? "{" "}" ::= ::= ::= * ::= ";" ::= "[" "]"