op(400, xfx, [*,+,^,v,/,\,#]).  % infix operators
op(300,yf,@).                   % postfix operator

list(usable).
% Denial of RC:
C4*A = C3*B.
C2*A = C1*B.
C4*F = C3*E.
C2*F != C1*E.
end_of_list.

list(passive).
properties(_*_, quasigroup).
assign(A, 0).
% assign(B, 1).
% assign(F, 2).
% assign(E, 3).
% assign(C1, 4).
% assign(C2, 5).
% assign(C3, 6).
% assign(C4, 7).
end_of_list.

