SIG-DECL ::= ... | SUBSORT-DECL | ISO-DECL
SUBSORT-DECL ::= subsort-decl SORT+ SORT
ISO-DECL ::= iso-decl SORT+
ATOM ::= ... | MEMBERSHIP
MEMBERSHIP ::= membership TERM SORT
TERM ::= ... | CAST
CAST ::= cast TERM SORT
ALTERNATIVE ::= ... | SUBSORT
SUBSORT ::= subsort SORT
BASIC-ITEM ::= ... | SUBSORT-DEFN
SUBSORT-DEFN ::= subsort-defn SORT VAR SORT FORMULA
CoFI
Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to cofi-language@brics.dk