A child washes rocks in a small tub.
A child washes dirty laundry in a large tub
If the child is washing rocks, then it can't be washing laundry. The tub cannot be small and large at the same time.
exists e1 s1 x1 x2 x3.(in(e1,x3) & n_tub(x3) & a_small(s1) & Theme(s1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_wash(e1) & n_rock(x2) & n_child(x1))
exists e1 s1 s2 x1 x2 x3.(in(e1,x3) & n_tub(x3) & a_large(s2) & Theme(s2,x3) & Theme(e1,x2) & Actor(e1,x1) & v_wash(e1) & n_laundry(x2) & a_dirty(s1) & Theme(s1,x2) & n_child(x1))