let disj_pointer p1 p2 = 
  Fol.Papp("disj_pointer", [p1; p2])