Assertion: expression | /r/HasAspect | same output
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.