Assertion list
white lion (subgroup of lion ) → IsA
Results from Ascent++: 1
white lion → IsA → morph 0.44