gate valve subgroup of valve, 4 assertions