let mem_access m t p =  Fol.Tapp ("acc", [m; t; p])