subcategory,parent Δ,FinOrd Δ,Pos