:- op(650, xfy, xor).    % exclusive or
:- op(650, xfy, eqv).	 % equivalence
:- op(640, xfy, imp).    % implication
:- op(630, xfy, or).     % disjunction
:- op(620, xfy, and).    % conjunction
:- op(610, fy, neg).     % negation
:- op(610, xfy, sep).    % separates quantifier from following variable
:- op(600, fx, exists).  % there exists
:- op(600, fx, forall).  % for all