| http://www.w3.org/ns/prov#value | - (over lines 230) representing a respective machine state to be tested. If an instruction bit and the corresponding machine state bit are both true, and if the instruction being fetched is a branch instruction, then the branch is executed by enabling the
|
