%--------------------------------------------------
% ACi
%--------------------------------------------------

axiom( [ [], [ X+Y = Y+X ] ] ).
axiom( [ [], [ X+X = X ] ] ).
axiom( [ [], [(X+Y)+Z=X+(Y+Z)] ] ).

precedence( [+] ).
predicates( [] ).

:-sarp([1-9,13-14]).   % turning on case analysis
:-option(ac(off)).