Assertion: simple arrow | /r/CapableOf | map input
Facets:
value: to an output
type: TRANSITIVE-OBJECT
Source sentences:
text: Our simple arrow is just a function mapping an input to an output.