Nature of Defect: The colon that separates the type field
from the referent field of a concept node is
usually optional. But in the definition of the
category text, it is required.There would be no
ambiguity if it were optional, and I suggest that
the two grammar rules for text should contain
brackets around ":" .
Making the colon optional does not correct any
technical error, but it makes the grammar more
consistent by allowing colons to be optional in
all concept nodes that have a type label.
Proposed Solution:
B.2.11 text
The first line of the grammar rule should be
text = "[", [comment],
"Proposition", [":"], [CGname], CG,
B.3.8 text
The second line of the translation rule should be
text = "[", [comment] ?cm?,
"Proposition", [":"], [CGname] ?n?,
Defect Nos.: 22
Submitter: John Sowa
References in Document: p. 44 B.2.11 p. 50 B.3.8
Nature of Defect: The colon that separates the type field from the referent field of a concept node is usually optional. But in the definition of the category text, it is required.There would be no ambiguity if it were optional, and I suggest that the two grammar rules for text should contain brackets around ":" .
Making the colon optional does not correct any technical error, but it makes the grammar more consistent by allowing colons to be optional in all concept nodes that have a type label.
Proposed Solution: B.2.11 text
The first line of the grammar rule should be
text = "[", [comment], "Proposition", [":"], [CGname], CG,
B.3.8 text
The second line of the translation rule should be
text = "[", [comment] ?cm?, "Proposition", [":"], [CGname] ?n?,