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