name,name_label,is_strict,transformations_hr Grpd,Grpd,0,natural isomorphisms