symbolic product construction for inherited attributes