Assertion list
elephant ivory (subgroup of ivory ) → HasProperty
Results from Ascent++: 1
elephant ivory → HasProperty → illegal 0.16