A city street of Tudor-style buildings, with shops on the ground floor, featuring five window washers on ladders.
The window washers are washing the windows for the shops on the street.
Window washers do not imply they are washing the windows.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(n_floor(x5) & of(x5,x6) & n_ground(x6) & a_topic(x1) & Theme(e1,x8) & Actor(e1,x7) & v_feature(e1) & on(x8,x10) & n_ladder(x10) & n_washer(x8) & of(x8,x9) & n_window(x9) & card_eq_5(x8) & (x1 = x7) & with(x1,x4) & on(x4,x5) & n_shop(x4) & of(x1,x3) & n_building(x3) & a_tudor-style(s1) & Theme(s1,x3) & n_street(x1) & of(x1,x2) & n_city(x2))
exists e1 x1 x2 x3 x4.(n_street(x4) & n_shop(x3) & n_window(x2) & n_window(x2) & n_washer(x1) & of(x1,x2) & for(e1,x3) & on(x3,x4) & Theme(e1,x2) & Actor(e1,x1) & v_wash(e1))