Assertion: logic's property | /r/HasProperty | predicated of entire group
Facets:
value: in the first case
type: TEMPORAL
Source sentences:
text: In the first case, a property, eight-leggedness, is predicated of the entire group referred to by the universal term; in the second case, the property of having book-lungs is predicated of only part of the group.