Assertion list
male cardinal (subgroup of cardinal ) → HasProperty
Results from Ascent++: 1
male cardinal → HasProperty → red 0.68