Assertion: unary predicate | /r/HasProperty | boolean-valued functor
Facets:
Source sentences:
text: A unary predicate is a Boolean-valued functor.