Assertion: predicate | /r/HasProperty | employed
Facets:
Source sentences:
text: If that of which “warm” is predicated is indefinite, a blank may be left for the predicate, W—, or the variable x may be employed, Wx, thus producing the propositional function