Assertion: arrow's operation | /r/HasProperty | binary
Facets:
Source sentences:
text: LiftA2 makes a new arrow that combines the output from two arrows using a binary operation.