Assertion list
seamount (primary) → IsA
Results from Ascent++: 2
seamount → IsA → mountain 0.51
seamount → IsA → underwater mountain 0.51