Assertion list
barge (primary) → IsA
Results from Ascent++: 2
barge → IsA → flat-bottomed boat 0.35
barge → IsA → boat 0.25