Assertion list
low bidder (subgroup of bidder ) → ReceivesAction
Results from Ascent++: 1
low bidder → ReceivesAction → rejected 0.16