:- use_module(cdtools(ccs_problem_cd)).
:- use_module(cdtools(ccs_schema_support_cd)).

cdex_options([format=imp,
	      axiom_types=auto_imp,
	      gen=Gen],
	     Opts) :-
	memberchk(problem=Problem, Opts),
	ccs_problem(Problem, _, _, [axiom_arities=As]),
	findall(S, ( member(N, As),
		     N > 0,
		     hyper_schema(N, S)
		   ),
		Gen),
	pp(gen(Gen)), nl.