Assertion: function's domain | /r/HasProperty | more than one
Facets:
Source sentences:
text: X 1 and X 2 are subsets of X, Y 1 and Y 2 are subsets of Y: for two regions where the function is not injective because more than one domain more than one x in X to map to the same y in Y.