fof(ax_false_int_l_l,axiom,(![L1,L2]:((line(L1)&line(L2)&int_l_l(L1,L2)&nint_l_l(L1,L2))=>$false))).
