Assertion list
male guppy (subgroup of guppy ) → HasProperty
Results from Ascent++: 1
male guppy → HasProperty → colored 0.35