floor level subgroup of floor, 1 assertions