Two workers are building a skyscraper.
Two architects are applying the finishing touches to an artist's rendering of a single story office building.
Either the two are workers or architects.  Either they are building or applying finishing touches.
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_build(e1) & n_skyscraper(x2) & n_worker(x1) & card_eq_2(x1))
exists e1 s1 s2 x1 x2 x3 x4 x5 x6 x7.(n_touch(x2) & a_finishing(s1) & Theme(s1,x2) & to(e1,x4) & of(x4,x5) & n_building(x5) & of(x5,x7) & n_office(x7) & of(x5,x6) & n_story(x6) & a_single(s2) & Theme(s2,x5) & n_rendering(x4) & of(x4,x3) & n_artist(x3) & Theme(e1,x2) & Actor(e1,x1) & v_apply(e1) & n_architect(x1) & card_eq_2(x1))