Assertion list
online auction (subgroup of auction ) → ReceivesAction
Results from Ascent++: 3
online auction → ReceivesAction → designed to mimic traditional l… 0.51
online auction → ReceivesAction → extended 0.32
online auction → ReceivesAction → timed 0.32