fof(ax_sym_nint_pl_pl,axiom,(![P1,P2]:((plane(P1)&plane(P2)&nint_pl_pl(P1,P2))=>(nint_pl_pl(P2,P1))))).
