Assertion list
male guppy (subgroup of guppy ) → IsA
Results from Ascent++: 1
male guppy → IsA → smaller than females 0.68