Assertion list
ferry (primary) → IsA
Results from Ascent++: 1
ferry → IsA → boat 0.48