Text to be deleted in WD 6.1.4 #46
Description
"A dialect may require some names to be syntactic non-discourse names, which are understood to never denote entities in the universe of discourse. This requirement may be imposed, for example, by partitioning the vocabulary or by requiring names that occur in certain syntactic positions to be non-discourse. A dialect with syntactic non-discourse names is called segregated. In segregated dialects, names which are not non-discourse names are called discourse names.
A segregated dialect shall provide sufficient syntactic constraints to guarantee that in any syntactically legal text of the dialect:
Every name shall be classified as either discourse or as non-discourse;
No name shall be classified as both discourse and non-discourse;
No non-discourse name shall be an argument of an atom or functional term.
No non-discourse name shall be bound in a quantified sentence.
As the presence of non-discourse names affects the semantics, special conditions apply to segregated dialects.
A dialect which is not segregated is called non-segregated.
"