Assertion list
deep sea (subgroup of ocean ) → IsA
Results from Ascent++: 1
deep sea → IsA → forbidding 0.59