Two street vendors sit on the sidewalk and wait for customers.
Two vendors are outside.
Vendors can sit on the sidewalk only when they are outside.
exists e1 x1 x2 x3 x4 x5 x6.(n_wait(x5) & n_sidewalk(x4) & subset_of(x5,x3) & subset_of(x4,x3) & for(e1,x6) & n_customer(x6) & on(e1,x3) & Actor(e1,x1) & v_sit(e1) & n_vendor(x1) & of(x1,x2) & n_street(x2) & card_eq_2(x1))
exists s1 x1.(Theme(s1,x1) & a_outside(s1) & n_vendor(x1) & card_eq_2(x1))