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