The people have some animals with them.
The people didn't show up with animals at all.
Have some animals is different than didn't show up with animals.
exists e1 x1 x2.(n_thing(x1) & n_people(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & with(x2,x1) & n_animal(x2))
exists x1.(n_people(x1) & -exists e1 s1 x2.(all x3.(n_thing(x3) -> at(e1,x3)) & a_up(s1) & Manner(e1,s1) & with(e1,x2) & n_animal(x2) & Actor(e1,x1) & v_show(e1)))