:- op(4000, xfx, example).