Assertion list
leviathan (primary) → IsA
Results from Ascent++: 1
leviathan → IsA → a sea monster 0.68