Assertion: synthesized instruction | /r/HasProperty | shown for simplicity
Facets:
value: to illustrate the difference
type: PURPOSE
Source sentences:
text: For simplicity, only one synthesized instruction is shown here to illustrate the difference between subleq and subneg.