Three dogs run through surf, near rocky outcrop.
Three dogs just met each other.
Run through surf doesn't mean that the dogs have met each other.
exists e1 s1 x1 x2 x3.(near(e1,x3) & n_outcrop(x3) & a_rocky(s1) & Theme(s1,x3) & through(e1,x2) & n_surf(x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_3(x1))
exists x1.(all x2.(n_other(x2) -> exists e1 s1.(a_just(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_meet(e1))) & n_dog(x1) & card_eq_3(x1))