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