fof(ax_sym_nint_l_l,axiom,(![L1,L2]:((line(L1)&line(L2)&nint_l_l(L1,L2))=>(nint_l_l(L2,L1))))).
