Assertion list
female lion (subgroup of lion ) → HasProperty
Results from Ascent++: 1
female lion → HasProperty → smaller 0.44