Assertion list for term "specified by the src1 operand".
Results from Ascent++: 1
bit (aspect of byte) → ReceivesAction → specified by the src1 operand 0.25