Three women walk by an office building.
Three women on hover boards fly by an office building.
The women cannot be walking and flying by on hover boards simultaneously.
exists e1 x1 x2 x3 x4.(a_topic(x1) & Actor(e1,x3) & n_building(x3) & of(x3,x4) & n_office(x4) & Theme(e1,x2) & v_walk(e1) & (x1 = x2) & n_woman(x1) & card_eq_3(x1))
exists e1 x1 x2 x3 x4 x5.(by(e1,x4) & n_building(x4) & of(x4,x5) & n_office(x5) & Actor(e1,x1) & v_fly(e1) & on(x1,x2) & n_board(x2) & of(x2,x3) & n_hover(x3) & n_woman(x1) & card_eq_3(x1))