:- op(1200, xfx, <- ).
:- op(1200, xf,  <- ).
