A redheaded female and brown-haired male wearing glasses stroll together.
The couple are walking in the park
Strolling together does not imply walking in the park.
exists e1 e2 p1 s1 s2 x1 x2 x3 x4 x5.(exists s3.(Theme(s3,x1) & a_together(s3)) & Topic(e2,p1) & Actor(e2,x1) & v_stroll(e2) & Theme(e1,x5) & Actor(e1,x4) & v_wear(e1) & n_glass(x5) & (x1 = x4) & n_male(x3) & a_brown-haired(s2) & Theme(s2,x3) & n_female(x2) & subset_of(x3,x1) & subset_of(x2,x1) & a_redheaded(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_park(x2) & n_couple(x1) & in(e1,x2) & Actor(e1,x1) & v_walk(e1))