ARCH-SPEC-DEFN ::= arch-spec-defn SPEC-NAME ARCH-SPEC ARCH-SPEC ::= arch-spec UNIT-DECL+ RESULT-UNIT UNIT-DECL ::= unit-decl UNIT-NAME UNIT-SPEC UNIT-NAME ::= SIMPLE-ID UNIT-SPEC-DEFN ::= unit-spec-defn SPEC-NAME UNIT-SPEC UNIT-SPEC ::= SPEC-NAME | UNIT-TYPE UNIT-TYPE ::= unit-type SPEC* SPEC RESULT-UNIT ::= result-unit UNIT-DECL* UNIT-TERM UNIT-TERM ::= UNIT-APPL | UNIT-REDUCT UNIT-APPL ::= unit-appl UNIT-NAME UNIT-TERM* UNIT-REDUCT ::= unit-reduct SIG-MORPH UNIT-TERM