A small child smiles while bathing in muddy water.
The child was happy to be taking a bath in the muddy water.
Not every child taking a bath in muddy water would be happy.
exists e2 e1 s1 s2 x1 x2.(while(e1,e2) & in(e2,x2) & n_water(x2) & a_muddy(s2) & Theme(s2,x2) & Actor(e2,x1) & v_bath(e2) & Actor(e1,x1) & v_smile(e1) & n_child(x1) & a_small(s1) & Theme(s1,x1))
exists p1 s1 s2 x1 x3.(n_water(x3) & a_muddy(s2) & Theme(s2,x3) & n_child(x1) & Topic(s1,p1) & Actor(s1,x1) & a_happy(s1) & exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_take(e1) & in(x2,x3) & n_bath(x2)))