Assertion list
new sop (subgroup of sop ) → ReceivesAction
Results from Ascent++: 1
new sop → ReceivesAction → issued 0.68