Assertion: x y | /r/HasProperty | x = domain of function
Facets:
Source sentences:
text: X → Y, where y = f(x), X = domain of function, Y = range of function.