Assertion: counter machine | /r/CapableOf | use the set of instruction
Facets:
Source sentences:
text: The two counters machine use the set of instruction { INC ( r, z ), JZDEC ( r, z true , z false ) }.