fof(ax_false_int_pl_pl,axiom,(![P1,P2]:((plane(P1)&plane(P2)&int_pl_pl(P1,P2)&nint_pl_pl(P1,P2))=>$false))).
