Assertion: class | /r/HasProperty | the set of all predicates
Facets:
Source sentences:
text: \displaystyle \lambda x\phi } holds; thus, the class can be described as the set of all predicates equivalent to ϕ {