Assertion: logic's property | /r/HasProperty | semantical validity
Facets:
value: mostly
type: DEGREE
Source sentences:
text: The property converse to completeness is called soundness: a system is sound with respect to a property (mostly semantical validity) if each of its theorems has that property.