Assertion list for term "point the address of next instruction".
Results from Ascent++: 1
register → CapableOf → point the address of next instruction 0.47