References in Document: p.18, 1 para last sentence
Nature of Defect: Sentence seems to contradict the formal semantics
Proposed Solution: Replace “The module
name may be used to identify a common universe of
discourse associated with the dialect, or a local universe
of discourse special to the text in the module.” with "The
module name indicates a local universe of discourse
special to the text in the module, which can be asserted
to be equivalent to a common universe of discourse
associated with the dialect by sentences outside the
module."
Submitter: Pat Hayes
References in Document: p.18, 1 para last sentence
Nature of Defect: Sentence seems to contradict the formal semantics
Proposed Solution: Replace “The module name may be used to identify a common universe of discourse associated with the dialect, or a local universe of discourse special to the text in the module.” with "The module name indicates a local universe of discourse special to the text in the module, which can be asserted to be equivalent to a common universe of discourse associated with the dialect by sentences outside the module."