Assertion list
sea turtle (subgroup of turtle ) → AtLocation
Results from Ascent++: 1
sea turtle → AtLocation → trinidad 0.37