Assertion: counter machine | /r/HasProperty | indirect addressing
Facets:
Source sentences:
text: All models optional: { unconditional program jump (goto) } Register-addressing method: Counter machine: no indirect addressing, immediate operands possible in highly atomized models