Assertion: function's value | /r/AtLocation | only one value
Facets:
value: in order for an equation
type: PURPOSE
value: for the output
type: PURPOSE
Source sentences:
text: In order for an equation to be a function, one value for the input must go to only one value for the output.