The black and white dog along with the brown dog are galloping outside
The dogs are enjoying the rain.
Galloping does not imply enjoying.
exists e1 s1 s2 s3 s4 x1 x2.(n_dog(x1) & n_dog(x1) & a_brown(s3) & Theme(s3,x1) & a_white(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1) & a_outside(s4) & Manner(e1,s4) & Actor(e1,x1) & v_gallop(e1) & with(x2,x1) & along(x1,x2) & n_thing(x2))
exists e1 x1 x2.(n_rain(x2) & n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1))