The following is the collected definitions of the ‘meta notions’ originally presented <a href=http://members.dokom.net/w.kloke/SYNTAX.TXT>here</a>, gleaned by Kloke from the 1975 <i>Algol 68 report</i> and resurrected via the <a href=http://www.archive.org/>Time Machine</a>.


<pre>MODE :: PLAIN; STOWED; REF to MODE; PROCEDURE; UNITED; MU definition of MODE; MU application.
PLAIN :: INTREAL; boolean; character.
INTREAL :: SIZETY integral; SIZETY real.
SIZETY :: long LONGSETY; short SHORTSETY; EMPTY.
LONGSETY :: long LONGSETY; EMPTY.
SHORTSETY :: short SHORTSETY; EMPTY.
EMPTY :: .
STOWED :: structured with FIELDS mode; FLEXETY ROWS of MODE.
FIELDS :: FIELD; FIELDS FIELD.
FIELD :: MODE field TAG.
FLEXETY :: flexible; EMPTY.
ROWS :: row; ROWS row.
REF :: reference; transient reference.
PROCEDURE :: procedure PARAMETY yielding MOID.
PARAMETY :: with PARAMETERS; EMPTY.
PARAMETERS :: PARAMETER; PARAMETERS PARAMETER.
PARAMETER :: MODE parameter.
MOID :: MODE; void.
UNITED :: union of MOODS mode.
MOODS :: MOOD; MOODS MOOD.
MOOD :: PLAIN; STOWED; reference to MODE; PROCEDURE; void.
MU :: muTALLY.
TALLY :: i; TALLY i.
ENCLOSED :: closed; collateral; parallel; CHOICE; loop.
SOME :: SORT MOID NEST.
SORT :: strong; firm; meek; weak; soft.
NEST :: LAYER; NEST LAYER.
LAYER :: new DECSETY LABSETY.
DECSETY :: DECS; EMPTY.
DECS :: DEC; DECS DEC.
DEC :: MODE TAG; priority PRIO TAD; MOID TALLY TAB; DUO TAD; MONO TAM.
PRIO :: i; ii; iii; iii i; iii ii; iii iii; iii iii i; iii iii ii; iii iii iii.
MONO :: procedure with PARAMETER yielding MOID.
DUO :: procedure with PARAMETER1 PARAMETER2 yielding MOID.
LABSETY :: LABS; EMPTY.
LABS :: LAB; LABS LAB.
LAB :: label TAG.
NOTION :: ALPHA; NOTION ALPHA.
ALPHA :: a; b; c; d; e; f; g; h; i; j; k; l; m; n; o; p; q; r; s; t; u; v; w; x; y; z.
NOTETY :: NOTION; EMPTY.
THING :: NOTION; (NOTETY1) NOTETY2; THING (NOTETY1) NOTETY2.
WHETHER :: where; unless.
where true : EMPTY.
unless false : EMPTY.
where THING1 and THING2 : where THING1, where THING2.
where THING1 or THING2 : where THING1; where THING2.
unless THING1 and THING2 : unless THING1; unless THING2.
unless THING1 or THING2 : unless THING1, unless THING2.
WHETHER (NOTETY1) is (NOTETY2) : WHETHER (NOTETY1) begins with (NOTETY2) and (NOTETY2) begins with (NOTETY1).
WHETHER (EMPTY) begins with (NOTION) : WHETHER false.
WHETHER (NOTETY) begins with (EMPTY) : WHETHER true.
WHETHER (ALPHA1 NOTETY1) begins with (ALPHA2 NOTETY2) : WHETHER (ALPHA1) coincides with (ALPHA2) in (abcdefghijklmnopqrstuvwxyz) and (NOTETY1) begins with (NOTETY2).
where (ALPHA) coincides with (ALPHA) in (NOTION) : where true.
unless (ALPHA1) coincides with (ALPHA2) in (NOTION) : where (NOTION) contains (ALPHA1 NOTETY ALPHA2) or (NOTION) contains (ALPHA2 NOTETY ALPHA1).
WHETHER (ALPHA NOTETY) contains (NOTION) : WHETHER (ALPHA NOTETY) begins with (NOTION) or (NOTETY) contains (NOTION).
WHETHER (EMPTY) contains (NOTION) : WHETHER false.
STYLE :: brief; bold; style TALLY.
NOTION option : NOTION; EMPTY.
NOTION sequence : NOTION; NOTION, NOTION sequence.
NOTION list : NOTION; NOTION, and also token, NOTION list.
NOTETY STYLE pack : STYLE begin token, NOTETY, STYLE end token.
NOTION STYLE bracket : STYLE sub token, NOTION, STYLE bus token.
THING1 or alternatively THING2 : THING1; THING2.
program : strong void new closed clause.
*phrase : SOME unit; NEST declaration of DECS.
*SORT MODE expression : SORT MODE NEST UNIT.
*statement: strong void NEST UNIT.
*MOID constant: MOID NEST DEFIED identifier with TAG; MOID NEST denoter.
*MODE variable : reference to MODE NEST DEFIED identifier with TAG.
*NEST range: SOID NEST serial clause defining LAYER; SOID NEST chooser CHOICE STYLE clause; SOID NEST case part of choice using UNITED; NEST STYLE repeating part with DEC; NEST STYLE while do part; PROCEDURE NEST routine text.
SOID :: SORT MOID.
PACK :: STYLE pack.
SOID NEST closed clause : SOID NEST serial clause defining LAYER PACK.
SOID NEST serial clause defining new PROPSETY : SOID NEST new PROPSETY series with PROPSETY.
SOID NEST series with PROPSETY : strong void NEST unit, go on token, SOID NEST series with PROPSETY; where (PROPSETY) is (DECS DECSETY LABSETY), NEST declaration of DECS, go on token, SOID NEST series with DECSETY LABSETY; where (PROPSETY) is (LAB LABSETY), NEST label definition of LAB, SOID NEST series with LABSETY; where (PROPSETY) is (LAB LABSETY) and SOID balances SOID1 and SOID2, SOID1 NEST unit, completion token, NEST label definition of LAB, SOID2 NEST series with LABSETY; where (PROPSETY) is (EMPTY), SOID NEST unit.
NEST label definition of label TAG : label NEST defining identifier with TAG, label token.
SOME unit : SOME UNIT.
WHETHER SORT MOID balances SORT1 MOID1 and SORT2 MOID2 : WHETHER SORT balances SORT1 and SORT2 and MOID balances MOID1 and MOID2.
WHETHER SORT balances SORT1 and SORT2 : where (SORT1) is (strong), WHETHER (SORT2) is (SORT); where (SORT2) is (strong), WHETHER (SORT1) is (SORT).
WHETHER MOID balances MOID1 and MOID2 : where (MOID1) is (MOID2), WHETHER (MOID) is (MOID1); where (MOID1) is (transient MOID2), WHETHER (MOID) is (MOID1); where (MOID2) is (transient MOID1), WHETHER (MOID) is (MOID2).
*SOID unitary clause : SOID NEST unit.
*establishing clause : SOID NEST serial clause defining LAYER; MODE NEST enquiry clause defining LAYER.
strong void NEST collateral clause : strong void NEST joined portrait PACK.
SOID NEST joined portrait : where SOID balances SOID1 and SOID2, SOID1 NEST unit, and also token, SOID2 NEST unit or alternatively SOID2 NEST joined portrait.
strong void NEST parallel clause : parallel token, strong void NEST joined portrait PACK.
strong ROWS of MODE NEST collateral clause : where (ROWS) is (row), strong MODE NEST joined portrait PACK; where (ROWS) is (row ROWS1), strong ROWS1 of MODE NEST joined portrait PACK; EMPTY PACK.
strong structured with FIELDS FIELD mode NEST collateral clause : NEST FIELDS FIELD portrait PACK.
NEST FIELDS FIELD portrait : NEST FIELDS portrait, and also token, NEST FIELD portrait.
NEST MODE field TAG portrait : strong MODE NEST unit.
*structure display : strong structured with FIELDS FIELD mode NEST collateral clause.
*vacuum : EMPTY PACK.
*row display : strong ROWS of MODE NEST collateral clause.
*display : strong STOWED NEST collateral clause.
CHOICE :: choice using boolean; CASE.
CASE :: choice using integral choice using UNITED.
SOID NEST1 CHOICE clause : CHOICE STYLE start, SOID NEST1 chooser CHOICE STYLE clause, CHOICE STYLE finish.
SOID NEST1 chooser choice using MODE STYLE clause : MODE NEST1 enquiry clause defining LAYER2, SOID NEST1 LAYER2 alternate choice using MODE STYLE clause.
MODE NEST1 enquiry clause defining new DECSETY2 : meek MODE NEST1 new DECSETY2 series with DECSETY2.
SOID NEST2 alternate CHOICE STYLE clause : SOID NEST2 in CHOICE STYLE clause; where SOID balances SOID1 and SOID2, SOID1 NEST2 in CHOICE STYLE clause, SOID2 NEST2 out CHOICE STYLE clause.
SOID NEST2 in CHOICE STYLE clause : CHOICE STYLE in, SOID NEST2 in part of CHOICE.
SOID NEST2 in part of choice using boolean : SOID NEST2 serial clause defining LAYER3.
SOID NEST2 in part of choice using integral : SOID NEST2 joined portrait.
SOID NEST2 in part of choice using UNITED : SOID NEST2 case part of choice using UNITED; where SOID balances SOID1 and SOID2, SOID1 NEST2 case part of choice using UNITED, and also token, SOID2 NEST2 in part of choice using UNITED.
SOID NEST2 case part of choice using UNITED : MOID NEST2 LAYER3 specification defining LAYER3, where MOID unites to UNITED, SOID NEST2 LAYER3 unit.
MODE NEST3 specification defining new MODE TAG3 : NEST3 declarative defining new MODE TAG3 brief pack, colon token.
MOID NEST3 specification defining new EMPTY : formal MOID NEST3 declarer brief pack, colon token.
SOID NEST2 out CHOICE STYLE clause : CHOICE STYLE out, SOID NEST2 serial clause defining LAYER3; CHOICE STYLE again, SOID NEST2 chooser CHOICE2 STYLE clause, where CHOICE2 may follow CHOICE.
WHETHER choice using MODE2 may follow choice using MODE1 : where (MODE1) is (MOOD), WHETHER (MODE2) is (MODE1); where (MODE1) begins with (union of), WHETHER (MODE2) begins with (union of).
*SOME choice clause : SOME CHOICE clause.
*SOME conditional clause : SOME choice using boolean clause.
*SOME case clause : SOME choice using integral clause.
*SOME conformity clause : SOME choice using UNITED clause.
FROBYT :: from; by; to.
strong void NEST1 loop clause : NEST1 STYLE for part defining new integral TAG2, NEST1 STYLE intervals, NEST1 STYLE repeating part with integral TAG2.
NEST1 STYLE for part defining new integral TAG2 : STYLE for token, integral NEST1 new integral TAG2 defining identifier with TAG2; where (TAG2) is (letter aleph), EMPTY.
NEST1 STYLE intervals : NEST1 STYLE from part option, NEST1 STYLE by part option, NEST1 STYLE to part option.
NEST1 STYLE FROBYT part : STYLE FROBYT token, meek integral NEST1 unit.
NEST1 STYLE repeating part with DEC2 : NEST1 new DEC2 STYLE while do part; NEST1 new DEC2 STYLE do part.
NEST2 STYLE while do part : NEST2 STYLE while part defining LAYER3, NEST2 LAYER3 STYLE do part.
NEST2 STYLE while part defining LAYER3 : STYLE while token, boolean NEST2 enquiry clause defining LAYER3.
NEST3 STYLE do part : STYLE do token, strong void NEST3 serial clause defining LAYER4, STYLE od token.
COMMON :: mode; priority; MODINE identity reference to MODINE variable; MODINE operation PARAMETER; MODE FIELDS.
NEST declaration of DECS : NEST COMMON declaration of DECS; where (DECS) is (DECS1 DECS2), NEST COMMON declaration of DECS1, and also token, NEST declaration of DECS2.
NEST COMMON joined definition of PROPS PROP : NEST COMMON joined definition of PROPS, and also token, NEST COMMON joined definition of PROP.
NEST COMMON joined definition of PROP : NEST COMMON definition of PROP.
*definition of PROP : NEST COMMON definition of PROP : NEST label definition of PROP.
NEST mode declaration of DECS : mode token, NEST mode joined definition of DECS.
NEST mode definition of MOID TALLY TAB : where (TAB) is (bold TAG) or (NEST) is (new LAYER), MOID TALLY NEST defining mode indication with TAB, is defined as token, actual MOID TALLY NEST declarer.
actual MOID TALLY1 NEST declarer : where (TALLY1) is (i), actual MOID NEST declarator; where (TALLY1) is (TALLY2 i), MOID TALLY2 NEST applied mode indication with TAB2 .
NEST priority declaration of DECS : priority token, NEST priority joined definition of DECS.
NEST priority definition of priority PRIO TAD : priority PRIO NEST defining operator with TAD, is defined as token, DIGIT token, where DIGIT counts PRIO.
WHETHER DIGIT1 counts PRIO i : WHETHER DIGIT2 counts PRIO, where (digit one digit two digit three digit four digit five digit six digit seven digit eight digit nine) contains (DIGIT2 DIGIT1).
WHETHER digit one counts i : WHETHER true.
MODINE :: MODE routine.
LEAP :: local; heap; primal.
NEST MODINE identity declaration of DECS : formal MODINE NEST declarer, NEST MODINE identity joined definition of DECS.
VICTAL routine NEST declarer : procedure token.
NEST MODINE identity definition of MODE TAG : MODE NEST defining identifier with TAG, is defined as token, MODE NEST source for MODINE.
MODE NEST source for MODINE : where (MODINE) is (MODE), MODE NEST source; where (MODINE) is (routine), MODE NEST routine text.
NEST reference to MODINE variable declaration of DECS : reference to MODINE NEST LEAP sample generator, NEST reference to MODINE variable joined definition of DECS.
NEST reference to MODINE variable definition of reference to MODE TAG : reference to MODE NEST defining identifier with TAG, becomes token, MODE NEST source for MODINE; where (MODINE) is (MODE), reference to MODE NEST defining identifier with TAG.
*identifier declaration : NEST MODINE identity declaration of DECS : NEST reference to MODINE variable declaration of DECS.
PRAM :: DUO; MONO.
TAO :: TAD; TAM.
NEST MODINE operation declaration of DECS : operator token, formal MODINE NEST plan, NEST MODINE operation joined definition of DECS.
formal routine NEST plan : EMPTY.
NEST MODINE operation definition of PRAM TAO : PRAM NEST defining operator with TAO, is defined as token, PRAM NEST source for MODINE.
VICTAL :: VIRACT; formal.
VIRACT :: virtual; actual.
MOIDS :: MOID; MOIDS MOID.
VIRACT MOID NEST declarer : VIRACT MOID NEST declarator; MOID TALLY NEST applied mode indication with TAB.
formal MOID NEST declarer : where MOID deflexes to MOID, formal MOID NEST declarator; MOID1 TALLY NEST applied mode indication with TAB, where MOID1 deflexes to MOID.
VICTAL reference to MODE NEST declarator : reference to token, virtual MODE NEST declarer.
VICTAL structured with FIELDS mode NEST declarator : structure token, VICTAL FIELDS NEST portrayer of FIELDS brief pack.
VICTAL FIELDS NEST portrayer of FIELDS1 : VICTAL MODE NEST declarer, NEST MODE FIELDS joined definition of FIELDS1; where (FIELDS1) is (FIELDS2 FIELDS3), VICTAL MODE NEST declarer, NEST MODE FIELDS joined definition of FIELDS2, and also token, VICTAL FIELDS NEST portrayer of FIELDS3.
NEST MODE FIELDS definition of MODE field TAG : MODE field FIELDS defining field selector with TAG.
VIRACT flexible ROWS of MODE NEST declarator : flexible token, VIRACT ROWS of MODE NEST declarer.
VICTAL ROWS of MODE NEST declarator : VICTAL ROWS NEST rower STYLE bracket, VICTAL MODE NEST declarer.
VICTAL row ROWS NEST rower : VICTAL row NEST rower, and also token, VICTAL ROWS NEST rower.
actual row NEST rower : NEST lower bound, up to token, NEST upper bound; NEST upper bound.
virtual row NEST rower : up to token option.
formal row NEST rower : up to token option.
NEST lower bound : meek integral NEST unit.
NEST upper bound : meek integral NEST unit.
VICTAL PROCEDURE NEST declarator : procedure token, formal PROCEDURE NEST plan.
formal procedure PARAMETY yielding MOID NEST plan : where (PARAMETY) is (EMPTY), formal MOID NEST declarer; where (PARAMETY) is (with PARAMETERS), PARAMETERS NEST joined declarer brief pack, formal MOID NEST declarer.
PARAMETERS PARAMETER NEST joined declarer : PARAMETERS NEST joined declarer, and also token, PARAMETER NEST joined declarer.
MODE parameter NEST joined declarer : formal MODE NEST declarer.
VICTAL union of MOODS1 MOOD1 mode NEST declarator : unless EMPTY with MOODS1 MOOD1 incestuous, union of token, MOIDS NEST joined declarer brief pack, where MOIDS ravels to MOODS2 and safe MOODS1 MOOD1 subset of safe MOODS2 and safe MOODS2 subset of safe MOODS1 MOOD1.
MOIDS MOID NEST joined declarer : MOIDS NEST joined declarer, and also token, MOID NEST joined declarer.
MOID NEST joined declarer : formal MOID NEST declarer.
NONSTOWED :: PLAIN; REF to MODE; PROCEDURE; UNITED; void.
MOODSETY :: MOODS; EMPTY.
MOIDSETY :: MOIDS; EMPTY.
WHETHER NONSTOWED deflexes to NONSTOWED : WHETHER true.
WHETHER FLEXETY ROWS of MODE1 deflexes to ROWS of MODE2 : WHETHER MODE1 deflexes to MODE2.
WHETHER structured with FIELDS1 mode deflexes to structured with FIELDS2 mode : WHETHER FIELDS1 deflexes to FIELDS2.
WHETHER FIELDS1 FIELD1 deflexes to FIELDS2 FIELD2 : WHETHER FIELDS1 deflexes to FIELDS2 and FIELD1 deflexes to FIELD2.
WHETHER MODE1 field TAG deflexes to MODE2 field TAG : WHETHER MODE1 deflexes to MODE2.
WHETHER MOODSETY1 with MOODSETY2 incestuous : where (MOODSETY2) is (MOOD MOODSETY3), WHETHER MOODSETY1 MOOD with MOODSETY3 incestuous or MOOD is firm union of MOODSETY1 MOODSETY3 mode ; where (MOODSETY2) is (EMPTY), WHETHER false.
WHETHER MOIDS ravels to MOODS : where (MOIDS) is (MOODS), WHETHER true; where (MOIDS) is (MOODSETY union of MOODS1 mode MOIDSETY), WHETHER MOODSETY MOODS1 MOIDSETY ravels to MOODS.
INDICATOR :: identifier; mode indication; operator.
DEFIED :: defining; applied.
PROPSETY :: PROPS; EMPTY.
PROPS :: PROP; PROPS PROP.
PROP :: DEC; LAB; FIELD.
QUALITY :: MODE; MOID TALLY; DYADIC; label; MODE field.
TAX :: TAG; TAB; TAD; TAM.
QUALITY NEST new PROPSETY1 QUALITY TAX PROPSETY2 defining INDICATOR with TAX : where QUALITY TAX independent PROPSETY1 PROPSETY2 , TAX token.
QUALITY NEST applied INDICATOR with TAX : where QUALITY TAX identified in NEST, TAX token.
MODE field PROPSETY1 MODE field TAG PROPSETY2 defining field selector with TAG : where MODE field TAG independent PROPSETY1 PROPSETY2 , TAG token.
MODE field FIELDS applied field selector with TAG : where MODE field TAG resides in FIELDS, TAG token.
QUALITY NEST DEFIED indicator with TAX : QUALITY NEST DEFIED INDICATOR with TAX.
*MODE DEFIED field selector with TAG : MODE field FIELDS DEFIED field selector with TAG.
UNIT :: assignation coercee; identity relation coercee; routine text coercee; jump; skip; TERTIARY.
TERTIARY :: ADIC formula coercee; nihil; SECONDARY.
SECONDARY :: LEAP generator coercee; selection coercee; PRIMARY.
PRIMARY :: slice coercee; call coercee; cast coercee; denoter coercee; format text coercee; applied identifier with TAG coercee; ENCLOSED clause.
*SOME hip : SOME jump; SOME skip; SOME nihil.
REF to MODE NEST assignation : REF to MODE NEST destination, becomes token, MODE NEST source.
REF to MODE NEST destination : soft REF to MODE NEST TERTIARY.
MODE1 NEST source : strong MODE2 NEST unit, where MODE1 deflexes to MODE2.
boolean NEST identity relation : where soft balances SORT1 and SORT2, SORT1 reference to MODE NEST TERTIARY1, identity relator, SORT2 reference to MODE NEST TERTIARY2.
identity relator : is token; is not token.
reference to MODE NEST LEAP generator : LEAP token, actual MODE NEST declarer.
reference to MODINE NEST LEAP sample generator : LEAP token, actual MODINE NEST declarer; where (LEAP) is (local), actual MODINE NEST declarer.
strong reference to MODE NEST nihil : nil token.
REFETY :: REF to; EMPTY.
REFLEXETY :: REF to; REF to flexible; EMPTY.
REFETY MODE1 NEST selection : MODE1 field FIELDS applied field selector with TAG, of token, weak REFETY structured with FIELDS mode NEST SECONDARY; where (MODE1) is (ROWS of MODE2), MODE2 field FIELDS applied field selector with TAG, of token, weak REFLEXETY ROWS of structured with FIELDS mode NEST SECONDARY, where (REFETY) is derived from (REFLEXETY).
WHETHER (transient reference to) is derived from (REF to flexible) : WHETHER true.
WHETHER (REFETY) is derived from (REFETY) : WHETHER true.
ROWSETY :: ROWS; EMPTY.
REFETY MODE1 NEST slice : weak REFLEXETY ROWS1 of MODE1 NEST PRIMARY, ROWS1 leaving EMPTY NEST indexer STYLE bracket, where (REFETY) is derived from (REFLEXETY); where (MODE1) is (ROWS2 of MODE2), weak REFLEXETY ROWS1 of MODE2 NEST PRIMARY, ROWS1 leaving ROWS2 NEST indexer STYLE bracket, where (REFETY) is derived from (REFLEXETY).
row ROWS leaving ROWSETY1 ROWSETY2 NEST indexer : row leaving ROWSETY1 NEST indexer, and also token, ROWS leaving ROWSETY2 NEST indexer.
row leaving EMPTY NEST indexer : NEST subscript.
row leaving row NEST indexer : NEST trimmer; NEST revised lower bound option.
NEST subscript : meek integral NEST unit.
NEST trimmer : NEST lower bound option, up to token, NEST upper bound option, NEST revised lower bound option.
NEST revised lower bound : at token, NEST lower bound.
*trimscript : NEST subscript; NEST trimmer; NEST revised lower bound option.
*indexer : ROWS leaving ROWSETY NEST indexer.
*boundscript : NEST subscript; NEST lower bound; NEST upper bound; NEST revised lower bound.
procedure yielding MOID NEST1 routine text : formal MOID NEST1 declarer, routine token, strong MOID NEST1 unit.
procedure with PARAMETERS yielding MOID NEST1 routine text : NEST1 new DECS2 declarative defining new DECS2 brief pack, where DECS2 like PARAMETERS, formal MOID NEST1 declarer, routine token, strong MOID NEST1 new DECS2 unit.
WHETHER DECS DEC like PARAMETERS PARAMETER : WHETHER DECS like PARAMETERS and DEC like PARAMETER.
WHETHER MODE TAG like MODE parameter : WHETHER true.
NEST2 declarative defining new DECS2 : formal MODE NEST2 declarer, NEST2 MODE parameter joined definition of DECS2; where (DECS2) is (DECS3 DECS4), formal MODE NEST2 declarer, NEST2 MODE parameter joined definition of DECS3, and also token, NEST2 declarative defining new DECS4.
NEST2 MODE parameter definition of MODE TAG2 : MODE NEST2 defining identifier with TAG2.
*formal MODE parameter : NEST MODE parameter definition of MODE TAG.
DYADIC :: priority PRIO.
MONADIC :: priority iii iii iii i.
ADIC :: DYADIC; MONADIC.
TALLETY :: TALLY; EMPTY.
MOID NEST DYADIC formula : MODE1 NEST DYADIC TALLETY operand, procedure with MODE1 parameter MODE2 parameter yielding MOID NEST applied operator with TAD, where DYADIC TAD identified in NEST, MODE2 NEST DYADIC TALLY operand.
MOID NEST MONADIC formula : procedure with MODE parameter yielding MOID NEST applied operator with TAM , MODE NEST MONADIC operand.
MODE NEST ADIC operand : firm MODE NEST ADIC formula coercee; where (ADIC) is (MONADIC), firm MODE NEST SECONDARY.
*MOID formula : MOID NEST ADIC formula.
*DUO dyadic operator with TAD : DUO NEST DEFIED operator with TAD.
*MONO monadic operator with TAM : MONO NEST DEFIED operator with TAM.
*MODE operand : MODE NEST ADIC operand.
MOID NEST call : meek procedure with PARAMETERS yielding MOID NEST PRIMARY, actual NEST PARAMETERS brief pack.
actual NEST PARAMETERS PARAMETER : actual NEST PARAMETERS, and also token, actual NEST PARAMETER .
actual NEST MODE parameter : strong MODE NEST unit.
strong MOID NEST jump : go to option, label NEST applied identifier with TAG.
go to : STYLE go to token; STYLE go token, STYLE to symbol.
MOID NEST cast : formal MOID NEST declarer, strong MOID NEST ENCLOSED clause.
strong MOID NEST skip : skip token.
STRONG :: FIRM; widened to; rowed to; voided to.
FIRM :: MEEK; united to.
MEEK :: unchanged from; dereferenced to; deprocedured to.
SOFT :: unchanged from; softly deprocedured to.
FORM :: MORF; COMORF.
MORF :: NEST selection; NEST slice; NEST routine text; NEST ADIC formula; NEST call; NEST applied identifier with TAG.
COMORF :: NEST assignation; NEST identity relation NEST LEAP generator; NEST cast; NEST denoter; NEST format text.
strong MOID FORM coercee : where (FORM) is (MORF), STRONG MOID MORF; where (FORM) is (COMORF), STRONG MOID COMORF, unless (STRONG MOID) is (deprocedured to void).
firm MODE FORM coercee : FIRM MODE FORM.
meek MOID FORM coercee : MEEK MOID FORM.
weak REFETY STOWED FORM coercee : MEEK REFETY STOWED FORM, unless (MEEK) is (dereferenced to) and (REFETY) is (EMPTY).
soft MODE FORM coercee : SOFT MODE FORM.
unchanged from MOID FORM : MOID FORM.
*SORT MOID coercee : SORT MOID FORM coercee.
*MOID coercend : MOID FORM.
dereferenced to MODE1 FORM : MEEK REF to MODE2 FORM, where MODE2 deflexes to MODE1.
deprocedured to MOID FORM : MEEK procedure yielding MOID FORM.
softly deprocedured to MODE FORM : SOFT procedure yielding MODE FORM.
united to UNITED FORM : MEEK MOID FORM, where MOID unites to UNITED.
WHETHER MOID1 unites to MOID2 : where MOID1 equivalent MOID2, WHETHER false; unless MOID1 equivalent MOID2, WHETHER safe MOODS1 subset of safe MOODS2, where (MOODS1) is (MOID1) or (union of MOODS1 mode) is (MOID1), where (MOODS2) is (MOID2) or (union of MOODS2 mode) is (MOID2).
BITS :: structured with row of boolean field SITHETY letter aleph mode.
BYTES :: structured with row of character field SITHETY letter aleph mode.
SITHETY :: LENGTH LENGTHETY; SHORTH SHORTHETY; EMPTY.
LENGTH :: letter l letter o letter n letter g.
SHORTH :: letter s letter h letter o letter r letter t.
LENGTHETY :: LENGTH LENGTHETY; EMPTY.
SHORTHETY :: SHORTH SHORTHETY; EMPTY.
widened to SIZETY real FORM : MEEK SIZETY integral FORM.
widened to structured with SIZETY real field letter r letter e SIZETY real field letter i letter m mode FORM : MEEK SIZETY real FORM; widened to SIZETY real FORM.
widened to row of boolean FORM : MEEK BITS FORM.
widened to row of character FORM : MEEK BYTES FORM.
rowed to REFETY ROWS1 of MODE FORM : where (ROWS1) is (row), STRONG REFLEXETY MODE FORM, where (REFETY) is derived from (REFLEXETY); where (ROWS1) is (row ROWS2), STRONG REFLEXETY ROWS2 of MODE FORM, where (REFETY) is derived from (REFLEXETY).
NONPROC :: PLAIN; STOWED; REF to NONPROC procedure with PARAMETERS yielding MOID; UNITED.
voided to void MORF : deprocedured to NONPROC MORF; unchanged from NONPROC MORF.
voided to void COMORF : unchanged from MODE COMORF.
PREF :: procedure yielding; REF to.
NONPREF :: PLAIN; STOWED; procedure with PARAMETERS yielding MOID; UNITED; void.
*PREFSETY :: PREF PREFSETY; EMPTY.
WHETHER PROP1 independent PROPS2 PROP2 : WHETHER PROP1 independent PROPS2 and PROP1 independent PROP2.
WHETHER PROP independent EMPTY : WHETHER true.
WHETHER QUALITY1 TAX1 independent QUALITY2 TAX2 : unless (TAX1) is (TAX2), WHETHER true; where (TAX1) is (TAX2) and (TAX1) is (TAO), WHETHER QUALITY1 independent QUALITY2.
WHETHER QUALITY1 independent QUALITY2 : where QUALITY1 related QUALITY2, WHETHER false; unless QUALITY1 related QUALITY2, WHETHER true.
WHETHER MONO related DUO : WHETHER false.
WHETHER DUO related MONO : WHETHER false.
WHETHER PRAM related DYADIC : WHETHER false.
WHETHER DYADIC related PRAM : WHETHER false.
WHETHER procedure with MODE1 parameter MODE2 parameter yielding MOID1 related procedure with MODE3 parameter MODE4 parameter yielding MOID2 : WHETHER MODE1 firmly related MODE3 and MODE2 firmly related MODE4.
WHETHER procedure with MODE1 parameter yielding MOID1 related procedure with MODE2 parameter yielding MOID2 : WHETHER MODE1 firmly related MODE2.
WHETHER MOID1 firmly related MOID2 : WHETHER MOODS1 is firm MOID2 or MOODS2 is firm MOID1, where (MOODS1) is (MOID1) or (union of MOODS1 mode) is (MOID1), where (MOODS2) is (MOID2) or (union of MOODS2 mode) is (MOID2).
WHETHER MOODS MOOD is firm MOID : WHETHER MOODS is firm MOID or MOOD is firm MOID.
WHETHER MOID1 is firm MOID2 : WHETHER MOID1 equivalent MOID2 or MOID1 unites to MOID2 or MOID1 deprefs to firm MOID2.
WHETHER MOID1 deprefs to firm MOID2 : where (MOID1) is (PREF MOID3), WHETHER MOID5 is firm MOID2, where MOID3 deflexes to MOID5; where (MOID1) is (NONPREF), WHETHER false.
WHETHER PROP identified in NEST new PROPSETY : where PROP resides in PROPSETY, WHETHER true; where PROP independent PROPSETY, WHETHER PROP identified in NEST.
WHETHER PROP1 resides in PROPS2 PROP2 : WHETHER PROP1 resides in PROP2 or PROP1 resides in PROPS2.
WHETHER QUALITY1 TAX resides in QUALITY2 TAX : where (QUALITY1) is (label) or (QUALITY1) is (DYADIC) or (QUALITY1) is (MODE field), WHETHER (QUALITY1) is (QUALITY2) ; where (QUALITY1) is (MOID1 TALLETY) and (QUALITY2) is (MOID2 TALLETY), WHETHER MOID1 euivalent MOID2.
SAFE :: safe; MU has MODE SAFE; yin SAFE; yang SAFE; remember MOID1 MOID2 SAFE.
HEAD :: PLAIN; PREF; structured with; FLEXETY ROWS of procedure with; union of; void.
TAILETY :: MOID; FIELDS mode; PARAMETERS yielding MOID; MOODS mode; EMPTY.
PARTS :: PART; PARTS PART.
PART :: FIELD; PARAMETER.
WHETHER MOID1 equivalent MOID2 : WHETHER safe MOID1 equivalent safe MOID2.
WHETHER SAFE1 MOID1 equivalent SAFE2 MOID2 : where (SAFE1) contains (remember MOID1 MOID2) or (SAFE2) contains (remember MOID2 MOID1), WHETHER true; unless (SAFE1) contains (remember MOID1 MOID2) or (SAFE2) contains (remember MOID2 MOID1), WHETHER (HEADS) is (HEAD4) and remember MOID1 MOID2 SAFE3 TAILETY3 equivalent SAFE4 TAILETY4, where SAFE3 HEAD3 TAILETY3 develops from SAFE1 MOID1 and SAFE4 HEAD4 TAILETY4 develops from SAFE2 MOID2.
WHETHER SAFE2 HEAD TAILETY develops from SAFE1 MOID : where (MOID) is (HEAD TAILETY), WHETHER (HEAD) shields SAFE1 to SAFE2; where (MOID) is (MU definition of MODE), unless (SAFE1) contains (MU has), WHETHER SAFE2 HEAD TAILETY develops from MU has MODE SAFE1 MODE; where (MOID) is (MU application) and (SAFE1) is (NOTION MU has MODE SAFE3) and (NOTION) contains (yin) and (NOTION) contains (yang), WHETHER SAFE2 HEAD TAILETY develops from SAFE1 MODE.
WHETHER SAFE1 FIELDS1 mode equivalent SAFE2 FIELDS2 mode : WHETHER SAFE1 FIELDS1 equivalent SAFE2 FIELDS2.
WHETHER SAFE1 PARAMETERS1 yielding MOID1 equivalent SAFE2 PARAMETERS2 yielding MOID2 : WHETHER SAFE1 PARAMETERS1 equivalent SAFE2 PARAMETERS2 and SAFE1 MOID1 equivalent SAFE2 MOID2.
WHETHER SAFE1 PARTS1 PART1 equivalent SAFE2 PARTS2 PART2 : WHETHER SAFE1 PARTS1 equivalent SAFE2 PARTS2 and SAFE1 PART1 equivalent SAFE2 PART2.
WHETHER SAFE1 PARTS1 PART1 equivalent SAFE2 PART2 : WHETHER false.
WHETHER SAFE1 PART1 equivalent SAFE2 PARTS2 PART2 : WHETHER false.
WHETHER SAFE1 MODE1 field TAG1 equivalent SAFE2 MODE2 field TAG2 : WHETHER (TAG1) is (TAG2) and SAFE1 MODE1 equivalent SAFE2 MODE2.
WHETHER SAFE1 MODE1 parameter equivalent SAFE2 MODE2 parameter : WHETHER SAFE1 MODE1 equivalent SAFE2 MODE2.
WHETHER SAFE1 MOODS1 mode equivalent SAFE2 MOODS2 mode : WHETHER SAFE1 MOODS1 suhset of SAFE2 MOODS2 and SAFE2 MOODS2 subset of SAFE1 MOODS1 and MOODS1 number equals MOODS2 number.
WHETHER SAFE1 MOODS1 MOOD1 subset of SAFE2 MOODS2 : WHETHER SAFE1 MOODS1 subset of SAFE2 MOODS2 and SAFE1 MOOD1 subset of SAFE2 MOODS2.
WHETHER SAFE1 MOOD1 subset of SAFE2 MOODS2 MOOD2 : WHETHER SAFE1 MOOD1 subset of SAFE2 MOODS2 or SAFE1 MOOD1 subset of SAFE2 MOOD2.
WHETHER SAFE1 MOOD1 subset of SAFE2 MOOD2 : WHETHER SAFE1 MOOD1 equivalent SAFE2 MOOD2.
WHETHER MOODS1 MOOD1 number equals MOODS2 MOOD2 number : WHETHER MOODS1 number equals MOODS2 number.
WHETHER MOOD1 number equals MOOD2 number : WHETHER true.
WHETHER SAFE1 EMPTY equivalent SAFE2 EMPTY : WHETHER true.
WHETHER (NOTION) shields SAFE to SAFE : where (NOTION) is (PLAIN) or (NOTION) is (FLEXETY ROWS of) or (NOTION) is (union of) or (NOTION) is (void), WHETHER true.
WHETHER (PREF) shields SAFE to yin SAFE : WHETHER true.
WHETHER (structured with) shields SAFE to yang SAFE : WHETHER true.
WHETHER (procedure with) shields SAFE to yin yang SAFE : WHETHER true.
MOID NEST denoter : pragment sequence option, MOID denotation.
SIZE :: long; short.
NUMERAL :: fixed point numeral; variable point numeral; floating point numeral.
SIZE INTREAL denotation : SIZE symbol , INTREAL denotation.
*plain denotation : PLAIN denotation; void denotation.
integral denotation : fixed point numeral.
fixed point numeral : digit cypher sequence.
digit cypher : DIGIT symbol.
real denotation : variable point numeral; floating point numeral.
variable point numeral : integral part option, fractional part.
integral part : fixed point numeral.
fractional part : point symbol, fixed point numeral.
floating point numeral : stagnant part, exponent part.
stagnant part : fixed point numeral; variable point numeral.
exponent part : times ten to the power choice, power of ten.
times ten to the power choice : times ten to the power symbol; letter e symbol.
power of ten : plusminus option, fixed point numeral.
plusminus : plus symbol; minus symbol.
boolean denotation : true symbol; false symbol.
character denotation : quote symbol, string item, quote symbol.
string item : character glyph; quote image symbol; other string item .
character glyph : LETTER symbol; DIGIT symbol; point symbol; open symbol; close symbol; comma symbol; space symbol; plus symbol; minus symbol.
void denotation : empty symbol.
RADIX :: radix two; radix four; radix eight; radix sixteen.
structured with row of boolean field LENGTH LENGTHETY letter aleph mode denotation : long symbol, structured with row of boolean field LENGTHETY letter aleph mode denotation .
structured with row of boolean field SHORTH SHORTHETY letter aleph mode denotation : short symbol, structured with row of boolean field SHORTHETY letter aleph mode denotation.
structured with row of boolean field letter aleph mode denotation : RADIX, letter r symbol, RADIX digit sequence.
radix two : digit two symbol.
radix four : digit four symbol.
radix eight : digit eight symbol.
radix sixteen : digit one symbol, digit six symbol.
radix two digit : digit zero symbol; digit one symbol.
radix four digit : radix two digit; digit two symbol; digit three symbol.
radix eight digit : radix four digit; digit four symbol; digit five symbol; digit six symbol; digit seven symbol.
radix sixteen digit : radix eight digit; digit eight symbol; digit nine symbol; letter a symbol; letter b symbol; letter c symbol; letter d symbol; letter e symbol; letter f symbol.
*bits denotation : BITS denotation.
*radix digit : RADIX digit.
row of character denotation : quote symbol, string option, quote symbol.
string : string item, string item sequence.
*string denotation : row of character denotation.
CHOICE STYLE start : where (CHOICE) is (choice using boolean), STYLE if token; where (CHOICE) is (CASE), STYLE case token.
CHOICE STYLE in : where (CHOICE) is (choice using boolean), STYLE then token where (CHOICE) is (CASE), STYLE in token.
CHOICE STYLE again : where (CHOICE) is (choice using boolean), STYLE else if token; where (CHOICE) is (CASE), STYLE ouse token.
CHOICE STYLE out : where (CHOICE) is (choice using boolean), STYLE else token; where (CHOICE) is (CASE), STYLE out token.
CHOICE STYLE finish : where (CHOICE) is (choice using boolean), STYLE fi token; where (CHOICE) is (CASE), STYLE esac token.
NOTION token : pragment sequence option, NOTION symbol.
*token : NOTION token.
*symbol : NOTION symbol.
PRAGMENT :: pragmat; comment.
pragment : PRAGMENT.
PRAGMENT : STYLE PRAGMENT symbol, STYLE PRAGMENT item sequence option, STYLE PRAGMENT symbol.
STYLE PRAGMENT item : character glyph; STYLE other PRAGMENT item.
TAG :: LETTER; TAG LETTER; TAG DIGIT.
LETTER :: letter ABC; letter aleph; style TALLY letter ABC.
DIGIT :: digit zero; digit one; digit two; digit three; digit four; digit five; digit six; digit seven; digit eight; digit nine.
TAB :: bold TAG; SIZETY STANDARD.
STANDARD :: integral; real; boolean; character; format; void; complex; bits; bytes; string; sema; file; channel.
TAD :: bold TAG; DYAD BECOMESETY; DYAD cum NOMAD BECOMESETY.
DYAD :: MONAD; NOMAD.
MONAD :: or; and; ampersand; differs from; is at most; is at least; over; percent; window; floor; ceiling; plus i times; not; tilde; down; up; plus; minus; style TALLY monad.
NOMAD :: is less than; is greater than; divided by; equals; times; asterisk.
BECOMESETY :: cum becomes; cum assigns to; EMPTY.
TAM :: bold TAG; MONAD BECOMESETY; MONAD cum NOMAD BECOMESETY.
ABC :: a; b; c; d; c; f; g; h; i; j; k; l; m; n; o; p; q; r; s; t; u; v; w; x; y; z.
*DOP :: DYAD; DYAD cum NOMAD.
EXTERNAL :: standard; library; system; particular.
STOP :: label letter s letter t letter o letter p.
program text : STYLE begin token, new LAYER1 preludes, parallel token, new LAYER1 tasks PACK, STYLE end token.
NEST1 preludes : NEST1 standard prelude with DECS1, NEST1 library prelude with DECSETY2, NEST1 system prelude with DECSETY3, where (NEST1) is (new EMPTY new DECS1 DECSETY2 DECSETY3).
NEST1 EXTERNAL prelude with DECSETY : strong void NEST1 series with DECSETY1 , go on token where (DECSETY1) is (EMPTY), EMPTY.
NEST1 tasks : NEST1 system task list, and also token, NEST1 user task PACK list.
NEST1 system task : strong void NEST1 unit.
NEST1 user task : NEST2 particular prelude with DECS, NEST2 particular program PACK, go on token, NEST2 particular prelude, where (NEST2) is (NEST1 new DECS STOP).
NEST2 particular program : NEST2 new LABSETY3 joined label definition of LABSETY3, strong void NEST2 new LABSETY3 ENCLOSED clause.
NEST joined label definition of LABSETY : where (LABSETY) is (EMPTY), EMPTY where (LABSETY) is (LAB1 LABSETY1), NEST label definition of LAB1, NEST joined label definition of LABSETY1.
NEST2 particular postlude : strong void NEST2 series with STOP.
FORMAT :: structured with row of PIECE field letter aleph mode.
PIECE :: structured with integral field letter c letter p integral field letter c letter o letter u letter n letter t integral field letter b letter p row of COLLECTION field letter c mode.
COLLECTION :: union of PICTURE COLLITEM mode.
COLLITEM :: structured with INSERTION field letter i digit one procedure yielding integral field letter r letter e letter p integral field letter p INSERTION field letter i digit two mode.
INSERTION :: row of structured with procedure yielding integral field letter r letter e letter p union of row of character character mode field letter s letter a mode.
PICTURE :: structured with union of PATTERN CPATTERN FPATTERN GPATTERN void mode field letter p INSERTION field letter i mode.
PATTERN :: structured with integral field letter t letter y letter p letter e row of FRAME field letter f letter r letter a letter m letter e letter s mode.
FRAME :: structured with INSERTION field letter i procedure yielding integral field letter r letter e letter p boolean field letter s letter u letter p letter p character field letter m letter a letter r letter k letter e letter r mode.
CPATTERN :: structured with INSERTION field letter i integral field letter t letter y letter p letter e row of INSERTION field letter c mode.
FPATTERN :: structured with INSERTION field letter i procedure yielding FIVMAT field letter p letter f mode.
GPATTERN :: structured with INSERTION field letter i row of procedure yielding integral field letter s letter p letter e letter c mode.
FIVMAT :: mui definition of structured with row of structured with integral field letter c letter p integral field letter c letter o letter u letter n letter t integral field letter b letter p row of union of structured with union of PATTERN CPATTERN structured with INSERTION field letter i procedure yielding mui application field letter p letter f mode GPATTERN void mode field letter p INSERTION field letter i mode COLLITEM mode field letter c mode field letter aleph mode.
MARK :: sign; point; exponent; complex; boolean.
COMARK :: zero; digit; character.
UNSUPPRESSETY :: unsuppressible; EMPTY.
TYPE :: integral; real; boolean; complex; string; bits; integral choice; boolean choice; format; general.
FORMAT NEST format text : formatter token, NEST collection list, formatter token.
NEST collection : pragment sequence option, NEST picture; pragment sequence option, NEST insertion, NEST replicator, NEST collection list brief pack, pragment sequence option, NEST insertion.
NEST picture : NEST TYPE pattern option, NEST insertion.
NEST insertion : NEST literal option, NEST alignment sequence option.
NEST alignment : NEST replicator, alignment code, NEST literal option.
alignment code : letter k symbol; letter x symbol; letter y symbol; letter l symbol; letter p symbol; letter q symbol.
NEST replicator : NEST unsuppressible replicator option.
NEST unsuppressible replicator : fixed point numeral; letter n symbol, meek integral NEST ENCLOSED clause, pragment sequence option.
NEST UNSUPPRESSETY literal : NEST UNSUPPRESSETY replicator, strong row of character NEST denoter coercee, NEST unsuppressible literal option.
NEST UNSUPPRESSETY MARK frame : NEST insertion, UNSUPPRESSETY suppression, MARK marker.
NEST UNSUPPRESSETY COMARK frame : NEST insertion, NEST replicator, UNSUPPRESSETY suppression, COMARK marker.
UNSUPPRESSETY suppression : where (UNSUPPRESSETY) is (unsuppressible), EMPTY; where (UNSUPPRESSETY) is (EMPTY), letter s symbol option.
*frame : NEST UNSUPPRESSETY MARK frame; NEST UNSUPPRESSETY COMARK frame; NEST RADIX frame.
marker : MARK marker; COMARK marker; radix marker.
pattern : NEST TYPE pattern.
NEST integral pattern : NEST sign mould option, NEST integral mould.
NEST integral mould : NEST digit frame sequence.
NEST sign mould : NEST unsuppressible zero frame sequence option, NEST unsuppressible sign frame.
zero marker : letter z symbol.
sign marker : plus symbol; minus symbol.
digit marker : letter d symbol; zero marker.
NEST real pattern : NEST sign mould option, NEST variable point mould or alternatively NEST floating point mould.
NEST variable point mould : NEST integral mould option; NEST point frame, NEST integral mould option.
NEST floating point mould : NEST variable point mould or alternatively NEST integral mould, NEST exponent frame, NEST integral pattern.
point marker : point symbol.
exponent marker : letter e symbol.
NEST boolean pattern : NEST unsuppressible boolean frame.
boolean marker : letter b symbol.
NEST complex pattern : NEST real pattern, NEST complex frame, NEST real pattern.
complex marker : letter i symbol.
NEST string pattern : NEST character frame sequence.
character marker : letter a symbol.
NEST bits pattern : NEST RADIX frame, NEST integral mould.
NEST RADIX frame : NEST insertion, RADIX, unsuppressible suppression, radix marker.
radix marker : letter r symbol.
NEST integral choice pattern : NEST insertion, letter c symbol, NEST praglit list brief pack.
NEST boolean choice pattern : NEST insertion, boolean marker, brief begin token, NEST praglit, and also token, NEST praglit, brief end token, pragment sequence option.
NEST praglit : pragment sequence option, NEST literal.
NEST format pattern : NEST insertion, letter f symbol, meek FORMAT NEST ENCLOSED clause, pragment sequence option.
NEST general pattern : NEST insertion, letter g symbol, NEST width specification option.
NEST width specification : brief begin token; meek integral NEST unit, NEST after specification option, brief end token, pragment sequence option.
NEST after specification : and also token, meek integral NEST unit, NEST exponent specification option.
NEST exponent specification : and also token, meek integral NEST unit.</pre>