let prop_in_data _do_exp d = Fol.Tdata d