Assertion: predicate | /r/HasProperty | correspondence
Facets:
value: like numerical functions
type: OTHER
Source sentences:
text: Like numerical functions, predicates are correspondences.