Assertion: function | /r/HasProperty | such that f(4
Facets:
Source sentences:
text: There is also some function f such that f(4) =