A man stretches far back with his eyes closed.
A man stretches with his eyes open.
Stretching man can either has his eyes closed or have his eyes open while stretching, not both at the same time.
exists e1 e2 s1 s2 x1 x2 x3.(with(e1,x2) & Actor(e2,x3) & v_close(e2) & (x2 = x3) & n_eye(x2) & of(x2,x1) & n_male(x1) & a_back(s2) & Manner(e1,s2) & a_far(s1) & Manner(e1,s1) & Actor(e1,x1) & v_stretch(e1) & n_man(x1))
exists e1 s1 x1 x2 x3.(with(e1,x2) & Theme(s1,x3) & a_open(s1) & (x2 = x3) & n_eye(x2) & of(x2,x1) & n_male(x1) & Actor(e1,x1) & v_stretch(e1) & n_man(x1))