Street scene with a man sat outside a closed and shuttered shop
The shop is open.
Either the shop is open or it is closed.
exists e1 s1 s2 x1 x2 x3 x4.(outside(e1,x4) & n_shop(x4) & a_shuttered(s2) & Theme(s2,x4) & a_closed(s1) & Theme(s1,x4) & Actor(e1,x1) & v_sit(e1) & with(x1,x3) & n_man(x3) & n_scene(x1) & (x1 = x2) & ne_per_street(x2))
exists s1 x1.(n_shop(x1) & Theme(s1,x1) & a_open(s1))