Assertion: logic's property | /r/CapableOf | say to have property
Facets:
value: for every class
type: OTHER
Source sentences:
text: The properties of classes are really properties of propositional functions and for every class said to have a property there really is some propositional function having that property.