! [A,B,C,O,L] : (point(A) & point(B) & point(C) & point(O) & line(L) & inc_po_l(A,L) & inc_po_l(B,L) & inc_po_l(C,L) & inc_po_l(O,L) & bet(A,O,B) & bet(A,O,C))
(nbet(B,O,C))