A hand turns the tap to allow three dogs to drink some water.
Dogs exhausted after playing
Just because dogs drink some water doesn't imply dogs exhausted after playing.
exists e1 p1 x1 x2.(n_tap(x2) & Theme(e1,x2) & Actor(e1,x1) & v_turn(e1) & Topic(x2,p1) & exists e2 p2 x3.(Topic(e2,p2) & Recipient(e2,x3) & Actor(e2,x2) & v_allow(e2) & exists e3 x4.(Theme(e3,x4) & Actor(e3,x3) & v_drink(e3) & n_water(x4)) & n_dog(x3) & card_eq_3(x3)) & n_hand(x1))
exists e2 e1 x1.(after(e1,e2) & Actor(e2,x1) & v_play(e2) & Actor(e1,x1) & v_exhaust(e1) & n_dog(x1))