Two dogs walk through the snow.
The two dogs were trying to get home through the snow
It cannot be inferred that the dogs are going home.
exists e1 x1 x2.(n_snow(x2) & through(e1,x2) & Theme(e1,x1) & v_walk(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 p1 x1 x3.(n_snow(x3) & n_dog(x1) & card_eq_2(x1) & Topic(e1,p1) & Actor(e1,x1) & v_try(e1) & exists e2 x2.(through(e2,x3) & Theme(e2,x2) & Actor(e2,x1) & v_get(e2) & n_home(x2)))