Assertion list
underwater glider (subgroup of glider ) → IsA
Results from Ascent++: 1
underwater glider → IsA → autonomous underwater vehicles 0.68