fof(ax_false_inc_l_pl,axiom,(![L,P]:((line(L)&plane(P)&inc_l_pl(L,P)&ninc_l_pl(L,P))=>$false))).
