:- op(200, yfx, [(@)]).
:- op(300, xfy, [(::)]).
:- op(800, yfx, [(with)]).
