

 :- op(900,yfx,>).         % implication
 
 :- op(850,yfx,v).         % disjunction
 
 :- op(800,yfx,&).         % conjunction
 
 :- op(750, fy,~).         % negation

 :- op(950,yfx,@).         % application
