Assertion: logic's property | /r/HasProperty | santa claus
Facets:
Source sentences:
text: Quantification over properties Santa Claus has all the attributes of a sadist.