cdex_options([format=cd,
	      gen=[i:2,
		   (r0(P:1,Q:0):0)-[P,Q],
% 		   (r1(P:2,Q:0,R:0):0)-[[P,Q],R],
 		   (r2(P:2,Q:0):1)-[P,Q],
% 		   (r3(P:2,Q:0):1)-[[c,P],Q],
 		   (r4(P:1,Q:1):1)-[[b,P],Q],
%   		   (r5(P:2,Q:1):2)-[[b,P],Q],
   		   (r6(P:2,Q:1):2)-[[b,[c,P]],Q]
		  ]]
	    ).