Assertion list
marina (primary) → IsA
Results from Ascent++: 1
marina → IsA → dock 0.67