Five men are washing windows of alpine style buildings on five ladders.
Men are mopping the floors.
The men are either washing windows or mopping floors.
exists e1 p1 s1 x1 x2 x3.(for(p1,e1) & Theme(e1,x2) & Actor(e1,x1) & v_wash(e1) & of(x2,x3) & n_style(x3) & a_alpine(s1) & Theme(s1,x3) & n_window(x2) & exists x4 x5.((x1 = x4) & on(x4,x5) & n_ladder(x5) & card_eq_5(x5) & n_building(x4)) & n_man(x1) & card_eq_5(x1))
exists e1 x1 x2.(n_floor(x2) & Theme(e1,x2) & Actor(e1,x1) & v_mop(e1) & n_man(x1))