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