! [L1,L2,A,B] : (line(L1) & line(L2) & L1!=L2 & point(A) & point(B) & inc_po_l(A,L1) & inc_po_l(B,L1) & inc_po_l(A,L2) & inc_po_l(B,L2))
(A = B)