standard polish subgroup of polish, 1 assertions