(* ATONIC ARITY ASSIGNMENT ON TERMS *****************************************)
(* Main properties **********************************************************)
(* ATONIC ARITY ASSIGNMENT ON TERMS *****************************************)
(* Main properties **********************************************************)