Assertion: computer's instruction | /r/HasProperty | indicated by the program counter
Facets:
Source sentences:
text: Read the code for the next instruction from the cell indicated by the program counter.