Assertion list
asiatic lion (subgroup of lion ) → HasProperty
Results from Ascent++: 2
asiatic lion → HasProperty → smaller 0.68
asiatic lion → HasProperty → bigger 0.35