Assertion list
leatherback turtle (subgroup of turtle ) → HasProperty
Results from Ascent++: 1
leatherback turtle → HasProperty → special 0.16