premises
#ax_branch_inc_po_pl

point(1)
plane(2)

conclusions

inc_po_pl(1, 2)

|
~inc_po_pl(1, 2)


