automatic gate subgroup of gate, 4 assertions