Assertion: logic's operator | /r/HasProperty | paradigm logical constants
Facets:
Source sentences:
text: In FOL (without identity), all singular terms and predicates are paradigm nonlogical constants, and all operators and connectives are paradigm logical constants.