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