Two dogs drink water in a lake.
The two dogs are brother and sister, and enjoy going to the lake every day.
We don't know if they are brother and sister, and cannot tell if they enjoy this.
exists e1 x1 x2 x3.(in(e1,x3) & n_lake(x3) & Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_water(x2) & n_dog(x1) & card_eq_2(x1))
exists p1 x1 x9.(n_lake(x9) & n_dog(x1) & card_eq_2(x1) & exists x2 x3 x4 x5 x6.((x1 = x2) & subset_of(x6,x2) & all x7.(n_day(x7) -> exists e1 x8.(Time(e1,x7) & to(e1,x9) & Actor(e1,x8) & v_go(e1) & (x6 = x8))) & n_enjoy(x6) & subset_of(x3,x2) & subset_of(x5,x3) & n_sister(x5) & subset_of(x4,x3) & n_brother(x4)))