bagof_grouped_by_two_free_variables([cc, dd]).
bagof_grouped_by_two_free_variables([ee, ff]).
bagof_grouped_by_two_free_variables([gg]).
bagof_two_free_variables_quantified([cc, dd, ee, ff, gg, gg]).
setof_two_free_variables_quantified([cc, dd, ee, ff, gg]).