Assertion list
brig (primary) → IsA
Results from Ascent++: 2
brig → IsA → a sailing vessel 0.68
brig → IsA → standard cargo ship 0.25