concrete floor subgroup of floor, 13 assertions