Assertion list
male mosquito (subgroup of mosquito ) → ReceivesAction
Results from Ascent++: 1
male mosquito → ReceivesAction → released 0.25