Assertion: logic's semantic | /r/CapableOf | establish the meaning of each sentence
Facets:
Source sentences:
text: The semantics of second-order logic establish the meaning of each sentence.