The man is standing next to a bird cage.
A woman cleans the birdcage.
man cannot be a woman at the same time
exists e1 x1 x2 x3.(n_man(x1) & to(e1,x2) & n_cage(x2) & of(x2,x3) & n_bird(x3) & r_next(e1) & Actor(e1,x1) & v_stand(e1))
exists e1 x1 x2.(n_birdcage(x2) & Theme(e1,x2) & Actor(e1,x1) & v_clean(e1) & n_woman(x1))