Assertion list
white lion (subgroup of lion ) → HasProperty
Results from Ascent++: 1
white lion → HasProperty → rare 0.33