A black and brown dog is running out of the surf.
A dog is swimming excitedly.
Although the dog is running out of the surf, it cannot be said for certain if the dog is swimming excitedly.
exists e1 s1 s2 x1 x2.(n_surf(x2) & r_out(e1) & of(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_brown(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1))
exists e1 s1 x1.(a_excitedly(s1) & Manner(e1,s1) & Actor(e1,x1) & v_swim(e1) & n_dog(x1))