Assertion: logic's semantic | /r/HasProperty | two types
Facets:
Source sentences:
text: Neutral semantics are of two types: ordinary neutral semantics, which provide conventions for calculating the truth values of complex formulas directly from their components, even when there are empty terms, and supervaluational semantics, which calculate the truth values of complex formulas by considering all the values that their components could have if their empty terms had referents.