Assertion list
coaster (primary) → IsA
Results from Ascent++: 1
coaster → IsA → ship 0.25