Assertion list
lifeboat (primary) → HasA
Results from Ascent++: 2
lifeboat → HasA → the vessel 0.31
lifeboat → HasA → stronger hull 0.16