Assertion list
male deer (subgroup of deer ) → HasA
Results from Ascent++: 2
male deer → HasA → antler 0.83
male deer → HasA → red-brown coat 0.25