subcategory,supercategory,kind
Quiv,Cat,full
RCat,Cat,full
Δ,Cat,full