A man is by a shopping cart with people walking on the street.
The man is alone indoors.
If the man is by people on the street, he is not alone indoors.
exists p1 x1 x6.(n_street(x6) & exists e1 x2 x3 x4 x5.(by(x1,x2) & with(x2,x4) & on(e1,x6) & Actor(e1,x5) & v_walk(e1) & (x4 = x5) & n_people(x4) & n_cart(x2) & of(x2,x3) & n_shopping(x3)) & n_man(x1))
exists p1 s1 x1.(n_man(x1) & a_alone(s1) & Manner(p1,s1) & exists x2.((x1 = x2) & n_indoor(x2)))