A hand turns the tap to allow three dogs to drink some water.
dogs drinking from the tap
hand turns the tap to allow three dogs to drink some water is same as dogs drinking from the tap
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 e1 x1 x2 x3.(n_tap(x3) & a_topic(x1) & from(e1,x3) & Actor(e1,x2) & v_drink(e1) & (x1 = x2) & n_dog(x1))