Assertion: syntax's argument | /r/HasProperty | see domain
Facets:
Source sentences:
text: The use of this operator may result in a partial function, that is, a relation with at most one value for each argument, but does not necessarily have any value for any argument (see domain).