a woman is loading the dishwasher in the evening after dinner.
The woman unloaded the dishwasher.
The women cannot be loading and unloading the dishwasher at the same time.
exists e1 x1 x2 x3 x4.(n_evening(x3) & n_dishwasher(x2) & after(e1,x4) & n_dinner(x4) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_load(e1) & n_woman(x1))
exists e1 x1 x2.(n_dishwasher(x2) & n_woman(x1) & Theme(e1,x2) & Actor(e1,x1) & v_unload(e1))