A man in a suit with a briefcase checks his phone while the gray building in the background is reflected in the pool of water on the street.
the man is at the hospital getting a shot
A man cannot be in the hospital getting an shot if he is checking his phone while gray buildings reflect on the street.
exists e1 p1 s1 x1 x2 x3 x4 x5 x6 x7 x9.(n_street(x9) & n_pool(x7) & n_background(x6) & n_building(x5) & a_gray(s1) & Theme(s1,x5) & exists e2 x8.(in(e2,x7) & on(x7,x9) & of(x7,x8) & n_water(x8) & Theme(e2,x5) & v_reflect(e2) & in(x5,x6)) & while(e1,p1) & Theme(e1,x4) & Actor(e1,x1) & v_check(e1) & n_phone(x4) & of(x4,x1) & n_male(x1) & in(x1,x2) & with(x2,x3) & n_briefcase(x3) & n_suit(x2) & n_man(x1))
exists p1 x1 x2.(n_hospital(x2) & n_man(x1) & exists e1 x3 x4.(at(x1,x2) & Theme(e1,x4) & Actor(e1,x3) & v_get(e1) & n_shot(x4) & (x2 = x3)))