Assertion list for term "taken in the presence of the register".
Results from Ascent++: 1
proof → ReceivesAction → taken in the presence of the register 0.27