flooded basement subgroup of basement, 1 assertions