::= | ; ::= | | | | | | ; ;; Structure definition, immediate form ::= "{" "}" | "{" "}" ; ::= "ces" ; ;; Structure instantiation ::= "(" ")" ; ::= "!" "(" ")" | "!" "(" ")" ; ::= | "," ; ::= | "," ; ::= ; ;; Presentation context ::= "vis" | "sat" ; ::= "{" "}" | "{" "}" ; ::= | "," ; ::= | "," ; ::= ":" ; ::= | "," ; ::= | "," ; ::= | | | "[" "]" | "{" "}" ; ;; Capacities ::= "caps" "{" "}" | "caps" "{" "}" ; ::= | "," ; ::= | "," ; ::= ::= "unbounded" "{" "}" | "unbounded" "{" "}" ; ;; Weights ::= "weights" "{" "}" | "weights" "{" "}" ; ::= | "," ; ::= | "," ; ::= "->" | "<-" ; ;; Inhibitors ::= "inhibit" "{" "}" | "inhibit" "{" "}" ; ::= | "," ; ::= | "," ; ::= "->" | "<-" ; ;; Holders ::= "hold" "{" "}" | "hold" "{" "}" ; ::= | "," ; ::= | "," ; ::= "->" | "<-" ; ;; Rule expression ::= | | ; ::= | | "+" ; ::= | | "{" "}" ; ;; Arrow rules ::= | | | | | ; ; effect polynomial with explicit node list on the left ::= "->" ; ; cause polynomial with explicit node list on the left ::= "<-" ; ; effect-then-cause polynomial with explicit node list on the left ::= "->" "<-" ; ; cause-then-effect polynomial with explicit node list on the left ::= "<-" "->" ; ; cause-then-effect pair of polynomials with explicit node list in the ; middle ::= "->" "->" ; ; effect-then-cause pair of polynomials with explicit node list in the ; middle ::= "<-" "<-" ; ; multi-polynomial rule with implicit node lists ::= ; ::= | ; ::= "=>" | "<=" | "<=>" ; ;; Polynomial ::= | "+" | "+" ; ::= | ; ::= | "(" ")" ; ::= ; ;; Identifiers ; FIXME ::= "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z" ; ;; Literals ::= | ; ; FIXME ::= "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9" ; ; FIXME ::= "\"A\"" | "\"B\"" | "\"C\"" | "\"D\"" | "\"E\"" | "\"F\"" | "\"G\"" | "\"H\"" | "\"I\"" | "\"J\"" | "\"K\"" | "\"L\"" | "\"M\"" | "\"N\"" | "\"O\"" | "\"P\"" | "\"Q\"" | "\"R\"" | "\"S\"" | "\"T\"" | "\"U\"" | "\"V\"" | "\"W\"" | "\"X\"" | "\"Y\"" | "\"Z\"" ;