A woman wearing a pink shirt and a blue helmet is rock climbing.
The woman is wearing pink.
If a woman is wearing a pink shirt then she is wearing pink.
exists e1 p1 s1 s2 x1 x2 x3 x4 x5.(exists x6 x7.((x1 = x6) & n_climb(x6) & of(x6,x7) & n_rock(x7)) & subset_of(x5,x1) & n_helmet(x5) & a_blue(s2) & Theme(s2,x5) & subset_of(x2,x1) & Theme(e1,x4) & Actor(e1,x3) & v_wear(e1) & n_shirt(x4) & a_pink(s1) & Theme(s1,x4) & (x2 = x3) & n_woman(x2))
exists e1 x1 x2.(n_woman(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_pink(x2))