subcategory,parent
CompCat,*Aut
CompCat,TracedSymmMonCat