A redheaded girl is in the bath with suds all over her chin.
The girl is washing her hair.
Being in the bath with bubbles on her chin does not imply that she is washing her hair.
exists p1 s1 x1 x2 x3.(n_bath(x3) & r_all(p1) & over(p1,x2) & n_chin(x2) & of(x2,x1) & n_female(x1) & exists x4.(in(x1,x3) & with(x3,x4) & n_suds(x4)) & n_girl(x1) & a_redheaded(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_hair(x2) & of(x2,x1) & n_female(x1) & n_girl(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wash(e1))