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.

G) 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.

L) ROWS :: row ; ROWS row.

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.

R) MOID :: MODE ; void.

S) UNITED :: union of MOODS mode.

T) MOODS :: MOOD ; MOODS MOOD.

U) MOOD :: PLAIN ; STOWED ; reference to MODE ; PROCEDURE ; void.

V) MU :: muTALLY.

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.

B) SOME :: SORT MOID NEST.

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.

C) DECSETY :: DECS ; EMPTY.

D) DECS :: DEC ; DECS DEC.

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.

I) LABSETY :: LABS ; EMPTY.

J) LABS :: LAB ; LABS LAB.

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".}

{``Well, `slithy' means `lithe and slimy'. ... You see it's like a portmanteau - there are two meanings packed up into one word.'' Through the Looking Glass, Lewis Carroll.}

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