A Hair stylist with a red shirt is blow drying a woman's hair.
A woman is having her hair styled.
A hair stylist blow drying a woman's hair implies the woman is having her hair styled.
exists p1 s1 x1 x2 x3.(exists e1 x4 x5 x6 x7.((x1 = x4) & Theme(e1,x7) & Actor(e1,x5) & v_dry(e1) & n_hair(x7) & of(x7,x6) & n_woman(x6) & (x4 = x5) & n_blow(x4)) & with(x1,x3) & n_shirt(x3) & a_red(s1) & Theme(s1,x3) & n_stylist(x1) & (x1 = x2) & ne_nam_hair(x2))
exists e2 e1 x1 x2 x3.(Theme(e2,x2) & Actor(e2,x1) & v_have(e2) & Theme(e1,x3) & v_style(e1) & (x2 = x3) & n_hair(x2) & of(x2,x1) & n_female(x1) & n_woman(x1))