A boy stands outside of "TheFaceShop" looking at an electronic device, while a man leans against the corner of the store.
The man is entering the store.
The man cannot be leaning against the store and entering it at the same time.
exists e1 e2 p1 s1 x1 x2 x3 x5 x6.(n_store(x6) & n_corner(x5) & ne_geo_thefaceshop(x2) & for(e1,e2) & exists e3 x4.(against(e3,x5) & of(x5,x6) & Actor(e3,x4) & v_lean(e3) & n_man(x4)) & while(e2,p1) & at(e2,x3) & n_device(x3) & a_electronic(s1) & Theme(s1,x3) & Actor(e2,x1) & v_look(e2) & of(e1,x2) & r_outside(e1) & Actor(e1,x1) & v_stand(e1) & n_boy(x1))
exists e1 x1 x2.(n_store(x2) & n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_enter(e1))