:- op(800, fx, [ not ] ).
:- op(810, xfy, [ and,  or] ).