product label subgroup of label, 2 assertions