2.1.5. Abbreviations {In order to avoid some long and turgid phrases which would otherwise have been necessary in the Semantics, certain abbreviations are used freely throughout the text of this Report.}
a) The phrase "the A of B", where A and B are paranotions, stands for "the A which is a direct descendent {1.1.3.2.f } of B".
{This permits the abbreviation of "direct descendent of" to "of" or "its", e.g., in the assignation {5.2.1.1.a } i := 1, i is "its" destination (or i is the, or a, destination "of" the assignation i := 1), whereas i is not a destination of the serial-clause i := 1; j := 2 (although it is a constituent destination {1.1.4.2.d } of it).}
b) The phrase "C in E", where C is a construct and E is an environ, stands for "the scene composed {2.1.1.1.d } of C and E". It is sometimes even further shortened to just "C" when it is clear which environ is meant.
{Since the process of elaboration {2.1.4.1.a } may be applied only to scenes, this abbreviation appears most frequently in forms such as "A loop-clause C, in an environ E1, is elaborated ... " {3.5.2 } and "An assignation A is elaborated ... " (5.2.1.2.a , where it is the elaboration of A in any appropriate environ that is being discussed).}
c) The phrase "the yield of S", where S is a scene whose elaboration is not explicitly prescribed, stands for "the yield obtained by initiating the elaboration of S and awaiting its completion".
{Thus the sentence {3.2.2.c } :
d) The phrase "the yields of S1, ... , Sn ", where S1, ... , Sn are scenes whose elaboration is not explicitly prescribed, stands for "the yields obtained by initiating the collateral elaboration {2.1.4.2.f } of S1, ... , Sn and awaiting its completion {which implies the completion of the elaboration on them all} ".
If some or all of S1, ... , Sn are described as being, in some environ, certain constituents of some construct, then their yields are to be considered as being taken in the textual order {1.1.3.2.i } of those constituents within that construct.
{Thus the sentence {3.3.2.b } :
e) The phrase "if A is B", where A and B are hypernotions, stands for "if A is equivalent {2.1.1.2.a } to B".
{Thus, in "Case C: 'CHOICE' is some 'choice using UNITED'" {3.4.2.b }, it matters not whether 'CHOICE' happens to begin with 'choice using union of' or with some 'choice using MU definition of union of'.}
f) The phrase "the mode is A", where A is a hypernotion, stands for "the mode {is a class of 'MOID's which} includes A".
{This permits such shortened forms as "the mode is some 'structured with FIELDS mode'", "the mode begins with 'union of'", and "the mode envelops a 'FIELD'"; in general, a mode may be specified by quoting just one of the 'MOID's included in it.}
g) The phrase "the value selected (generated) by the field-selector
F" stands for "if F is a field-selector-with-TAG {4.8.1.f
},
then the value selected {2.1.3.3.a, e
, 2.1.3.4.k} (generated
{2.1.3.4.l
} ) by that 'TAG'".
Next