1.2. General metaproduction rules {The reader may find it helpful to note that a metanotion ending in "ETY" always has "EMPTY" as one of the hypernotions on its right-hand side.}
1.2.1. Metaproduction rules of modes A) MODE :: PLAIN ; STOWED ; REF to MODE ; PROCEDURE ; UNITED ; MU definition of MODE ; MU application.
B) PLAIN :: INTREAL ; boolean ; character.
C) INTREAL :: SIZETY integral ; SIZETY real.
D) SIZETY :: long LONGSETY ; short SHORTSETY ; EMPTY.
E) LONGSETY :: long LONGSETY ; EMPTY.
F) SHORTSETY :: short SHORTSETY ; EMPTY.
H) STOWED :: structured with FIELDS mode ; FLEXETY ROWS of MODE.
I) FIELDS :: FIELD ; FIELDS FIELD.
J) FIELD :: MODE field TAG{942A } .
K) FLEXETY :: flexible ; EMPTY.
M) REF :: reference ; transient reference.
N) PROCEDURE :: procedure PARAMETY yielding MOID.
O) PARAMETY :: with PARAMETERS ; EMPTY.
P) PARAMETERS :: PARAMETER ; PARAMETERS PARAMETER.
Q) PARAMETER :: MODE parameter.
S) UNITED :: union of MOODS mode.
T) MOODS :: MOOD ; MOODS MOOD.
U) MOOD :: PLAIN ; STOWED ; reference to MODE ; PROCEDURE ; void.
W) TALLY :: i ; TALLY i. {The metaproduction rule for "TAG" is given in section 9.4.2.1 . It suffices for the present that it produces an arbitrarily large number of terminal metaproductions.}
1.2.2. Metaproduction rules associated with phrases and coercion
A) ENCLOSED :: closed ; collateral ; parallel ; CHOICE{34A } ; loop.
C) SORT :: strong ; firm ; meek ; weak ; soft.
1.2.3. Metaproduction rules associated with nests A) NEST :: LAYER ; NEST LAYER.
B) LAYER :: new DECSETY LABSETY.
E) DEC :: MODE TAG{942A } ; priority PRIO TAD{942F } ; MOID TALLY TAB{942A} ; DUO TAD{942F } ; MONO TAM{942K} .
F) PRIO :: i ; ii ; iii ; iii i ; iii ii ; iii iii ; iii iii i ; iii iii ii ; iii iii iii.
G) MONO :: procedure with PARAMETER yielding MOID.
H) DUO :: procedure with PARAMETER1 PARAMETER2 yielding MOID.
K) LAB :: label TAG{942A } . {The metaproduction rules for "TAB", "TAD" and "TAM" are given in section 9.4.2.1 . It suffices for the present that each of them produces an arbitrarily large number of terminal metaproductions, none of which is a terminal metaproduction of of "TAG".}
1.3. General hyper-rules
{Predicates are used in the syntax to enforce certain restrictions on
the production trees, such as that each applied-indicator should
identify a uniquely determined defining-indicator. A more modest
use is to reduce the number of hyper-rules by grouping several similar
cases as alternatives in one rule. In these cases predicates are used to
test which alternative applies.}
Next