Assertion: logic's semantic | /r/HasProperty | supervaluation
Facets:
value: in section
type: LOCATION
Source sentences:
text: Ordinary neutral semantics will be considered in this section, supervaluations in Section 3.4.