Assertion: compiler | /r/CapableOf | reduce the expression
Facets:
value: to y
type: TRANSITIVE-OBJECT
Source sentences:
text: The compiler can reduce the expression (y + 1) - 1 to y .