A white dog runs with one ear up.
the dog has one ear up because its happy
The dog does not have to be happy because one ear is up.
exists e1 s1 s2 x1 x2.(a_up(s2) & Manner(e1,s2) & with(e1,x2) & n_ear(x2) & card_eq_1(x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_white(s1) & Theme(s1,x1))
(x)