Assertion: logic's property | /r/HasProperty | eight-leggedness
Facets:
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.