Assertion list
cruise (primary) → IsA
Results from Ascent++: 1
cruise → IsA → the highlight of our trip 0.19