Assertion: function's rule | /r/CapableOf | assign one and only one value of y.
Facets:
Source sentences:
text: x the rule assigns one and only one value of y.