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