Assertion: logic's semantic | /r/CapableOf | record truth-conditions
Facets:
Source sentences:
text: The deductive system is to capture, codify, or simply record arguments that are valid for the given language, and the semantics is to capture, codify, or record the meanings, or truth-conditions for at least part of the language.