provac1c5(S):-fs_total((z1:-after(a1,b1,x,[1,1],[2,4]),after(b1,c1,x,[1,1],[2,3]),after(c1,d1,x,[1,2],[3,4]),after(d1,e1,x,[1,1],[3,6]),after(e1,f1,x,[3,4],[8,10]),after(f1,g1,x,[2,3],[3,3]),after(a1,b1,y,[2,2],[3,4]),after(b1,c1,y,[1,1],[4,5]),
        run(a), jump(a),run(b),jump(b),work(z1,a1),play(a1,b),play(b1,d),clean(c), work(z1,a1), sing(d),sing(b),
        tax(a,[father]), tax(b,[son]), tax(c, [mother]), tax(d,[sister]),
        neg(a), neg(d),
        tall(a,177), tall(b,125), age(a,38), age(b,4), tall(c,155), age(c,35),
        label(a1,alarm),label(b1,breakfast),label(c1,telephone),label(d1,shower),label(e1,dress),label(f1,car),label(g1,work)),
		(z5:-after(a1,b1,x,[2,2],[7,7]),after(b1,c1,x,[1,1],[2,5]),after(c1,d1,x,[1,2],[4,4]),after(d1,e1,x,[1,10],[3,12]),after(e1,f1,x,[3,4],[8,8]),after(f1,g1,x,[3,3],[1,4]),after(a1,b1,y,[2,2],[3,4]),after(b1,c1,y,[1,1],[4,6]),
        run(a),jump(a),run(b),jump(b),work(z5,a1),play(a1,b),play(b1,d),clean(c),work(z5,a1),swim(z),drive(a1),
        neg(a), neg(d), neg(l), neg(z),
        tall(a,180), tall(b,125), age(a,42), age(b,4), tall(c,165), age(c,34),
        label(a1,dress),label(b1,car),label(c1,telephone),label(d1,shower),label(e1,work),label(f1,breakfast),label(g1,alarm)),S).