Assertion list for term "verified in first signature verification operation".
Results from Ascent++: 1
digital signature (subgroup of signature) → ReceivesAction → verified in first signature verification operation 0.29