Assertion: logic's property | /r/CreatedBy | predicate
Facets:
Source sentences:
text: In second-order logic, by contrast, we could add a predicate Shape that is true of precisely the properties corresponding to the predicates Cube, Tet, and Dodec.