fof(ax_false_int_l_pl,axiom,(![L,P]:((line(L)&plane(P)&int_l_pl(L,P)&nint_l_pl(L,P))=>$false))).
