Assertion: transformation | /r/HasSubevent | program
Facets:
Source sentences:
text: In many cases the transformed program is required to be semantically equivalent to the original, relative to a particular formal semantics and in fewer cases the transformations result in programs that semantically differ from the original in predictable ways.