A man and woman in matching shirts clean the floor.
The workers are polishing tiles.
People cleaning may not be workers. Cleaning does not always imply polishing. Floors are not always made of tile.
exists e2 e1 x1 x2 x3 x4 x5.(n_floor(x5) & Theme(e2,x5) & Actor(e2,x1) & v_clean(e2) & in(x1,x4) & n_shirt(x4) & Actor(e1,x4) & v_match(e1) & n_woman(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1))
exists e1 x1 x2.(n_worker(x1) & Theme(e1,x2) & Actor(e1,x1) & v_polish(e1) & n_tile(x2))