upper floor subgroup of floor, 6 assertions