pressure vessel subgroup of vessel, 4 assertions