Assertion: green instruction | /r/HasProperty | executed
Facets:
Source sentences:
text: The green instruction is executed (actual operation is performed)