Assertion: simple arrow | /r/HasProperty | function
Facets:
Source sentences:
text: Our simple arrow is just a function mapping an input to an output.