Assertion list
cluster bomb (subgroup of bomb ) → ReceivesAction
Results from Ascent++: 1
cluster bomb → ReceivesAction → dropped 0.68