Assertion: construction | /r/HasProperty | characterized
Facets:
Source sentences:
text: Because statements attributing a property to particular classes are replaced by existential sentences saying that there is some propositional function having that property, this construction also can be characterized as showing that class expressions, such as ‘\(\{x:Fx \}\)’, are incomplete symbols.