Assertion list
new flea (subgroup of flea ) → ReceivesAction
Results from Ascent++: 1
new flea → ReceivesAction → killed 0.59