Assertion list
green turtle (subgroup of turtle ) → HasProperty
Results from Ascent++: 1
green turtle → HasProperty → herbivorous 0.38