Assertion: mark's instruction | /r/HasProperty | current
Facets:
Source sentences:
text: It executed the current instruction and then read in the next one.