Assertion list
sea turtle (subgroup of turtle ) → HasA
Results from Ascent++: 2
sea turtle → HasA → flipper 0.25
sea turtle → HasA → limited mobility 0.25