Assertion list
male lion (subgroup of lion ) → HasA
Results from Ascent++: 1
male lion → HasA → mane 0.77