Assertion: predicate | /r/HasProperty | p of type
Facets:
Source sentences:
text: Specifically, if F has domain type T and codomain type U, then it can be replaced with a predicate P of type (T,U).