let part_of_item = function
  | Formula.Type _ -> 1
  | Formula.Cons _ -> 2
  | Formula.FunctionDef _
  | Formula.PredicateDef _
  | Formula.Function _ 
  | Formula.Predicate _ -> 3
  | Formula.Axiom _ -> 4
  | Formula.Trecord _ -> 5