let term_of_data d = Fol.e_data d