Assertion list
male mosquito (subgroup of mosquito ) → HasProperty
Results from Ascent++: 1
male mosquito → HasProperty → harmless 0.37