The family is checking out at the store.
there are other people in the store
There is nothing to indicate that there are other people in the store.
exists e1 s1 x1 x2.(n_store(x2) & n_family(x1) & at(e1,x2) & a_out(s1) & Manner(e1,s1) & Actor(e1,x1) & v_check(e1))
exists p1 x1 x2 x4.(n_store(x2) & n_people(x4) & in(p1,x2) & exists x3.((x1 = x3) & -(x3 = x4) & n_people(x3)))