Assertion: logic's semantic | /r/CapableOf | determine meaning
Facets:
value: behind these expressions
type: OTHER
Source sentences:
text: The syntax determines which finite sequences of symbols are legal expressions in first-order logic, while the semantics determine the meanings behind these expressions.