A woman with long hair and a black shirt washes the dishes.
The woman has hair that is down to her knees because she has never gotten in cut in her life.
Most women have had hair cuts, so you can not easily infer that she has never had her hair cut.
exists e1 s1 s2 x1 x2 x3 x4 x5.(n_dish(x5) & Theme(e1,x5) & Actor(e1,x1) & v_wash(e1) & subset_of(x4,x1) & n_shirt(x4) & a_black(s2) & Theme(s2,x4) & subset_of(x2,x1) & with(x2,x3) & n_hair(x3) & a_long(s1) & Theme(s1,x3) & n_woman(x2))
exists e1 p1 s1 x1 x2 x3 x4 x6.(n_life(x6) & of(x6,x1) & n_female(x1) & n_female(x1) & n_female(x1) & n_knee(x4) & of(x4,x1) & n_woman(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & exists e2 s2 x5.(a_never(s2) & Manner(e2,s2) & in(e2,x6) & in(e2,x5) & n_cut(x5) & Actor(e2,x1) & v_get(e2)) & because(s1,p1) & to(s1,x4) & Theme(s1,x3) & a_down(s1) & (x2 = x3) & n_hair(x2))