prova7(Sim) :- fs_total((z1:-after(a1,b1,a,[1,1],[2,4]),after(b1,c1,a,[1,1],[4,6]),after(c1,d1,a,[1,2],[3,4]),after(d1,e1,a,[1,1],[3,6]),after(e1,f1,a,[3,4],[8,10]),after(f1,g1,a,[2,3],[3,3]),
        dog(a), son(a), cat(a), apple(a), pie(a1,c1,d1), pie(a1,s1,h1), cat(a1,u1,z1),
		tax(a,[son,daughter,dog]-[baby]-[dog]), tax(a,[child,daughter,snake]-[baby]-[dog]),
        neg(dog), neg(cat),
        cat(a,21), dog(a,21),
        label(a1,sveglia),label(b1,colazione),label(c1,cellulare),label(d1,doccia),label(e1,vestire),label(f1,auto),label(g1,lavoro)),

    (z2:-after(a1,b1,a,[3,3],[4,5]),after(b1,c1,a,[2,3],[2,4]),after(c1,d1,a,[1,4],[2,8]),after(d1,e1,a,[5,5],[6,8]),after(e1,f1,a,[3,4],[8,10]),after(f1,g1,a,[2,3],[3,3]),
        mouse(a), son(a), list(a), apple(a),dog(a1,u1,z1), pie(a1,c1,d1), pie(b1,m1,t1),
        tax(a,[mouse,cat,dog]-[snake]-[sheep]), tax(a,[mouse,cat,whale]-[snake]-[sheep]),
        neg(a), neg(a),
        cat(a,9), mouse(a,21),
        label(a1,sveglia),label(b1,doccia),label(c1,colazione),label(d1,lavoro),label(e1,cellulare),label(f1,auto),label(g1,lavoro)),Sim).