One dog is jumping into a pool while another runs along side the pool's edge.
Two dogs are having fun at the pool on the first day of summer.
We have no idea if this is the first day of summer, it could be any day.
exists e1 p1 x1 x2 x4.(exists e2 x3 x5.(along(e2,x5) & n_side(x5) & Theme(e2,x4) & Actor(e2,x3) & v_run(e2) & n_thing(x3)) & n_edge(x4) & of(x4,x2) & n_pool(x2) & n_pool(x2) & while(e1,p1) & into(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_dog(x1) & card_eq_1(x1))
exists e1 s1 x1 x2 x3 x4 x5.(n_day(x4) & a_first(s1) & Theme(s1,x4) & n_pool(x3) & on(e1,x4) & of(x4,x5) & n_summer(x5) & at(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_fun(x2) & n_dog(x1) & card_eq_2(x1))