Assertion: argument's meaning | /r/HasProperty | determined in ideal formal language
Facets:
value: unambiguously
type: MANNER
value: from syntax
type: OTHER
Source sentences:
text: In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone.