Assertion list
pressure vessel (subgroup of vessel ) → IsA

Results from Ascent++: 1
pressure vesselIsA container 0.43