Assertion: function's output | /r/HasProperty | simplified notions
Facets:
Source sentences:
text: (To be clear, the "input" and "output" mentioned above are simplified notions based on the syntactic properties of functions.