Assertion: expression | /r/CapableOf | represent same function
Facets:
Source sentences:
text: Two expressions are said to be equivalent if, for each combination of values for the free variables, they have the same output, i.e., they represent the same function.