module languages/asf/syntax/Constructors

imports languages/asf/syntax/Characters
exports
sorts Tree

context-free syntax

       "amb" "(" ambs:{Tree ","}* ")" -> Tree {cons("ambiguity-constructor")}
       name:Tree "(" list:CHAR* ")"   -> Tree {cons("lexical-constructor")}