assume [L1,L2,A,B] : (line(L1) & line(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))
disjunction (A = B | A != B)
case (A = B)
lookup (A = B | L1 = L2)
case (A != B)
infer (L1 = L2)
lookup (A = B | L1 = L2)
end_disjunction
