A couple who both wear glasses are walking and holding hands.
A husband and wife who are both going blind enjoy each other's company.
Just because a couple both wear glasses it does not imply they are both going blind or that they are husband and wife.
exists e2 e1 s1 x1 x2 x3 x4 x5 x6.(n_glass(x2) & of(x2,x3) & n_wear(x3) & a_topic(s1) & subset_of(e2,s1) & Theme(e2,x6) & Actor(e2,x5) & v_hold(e2) & n_hand(x6) & n_thing(x5) & subset_of(x1,s1) & Theme(e1,x4) & Actor(e1,x2) & v_walk(e1) & (x1 = x4) & n_couple(x1))
exists e1 p1 s1 x1 x2 x3 x4.(all x6 x5.((n_company(x6) & of(x6,x5) & n_other(x5)) -> exists e2.(Theme(e2,x6) & Actor(e2,x1) & v_enjoy(e2))) & subset_of(x3,x1) & a_both(s1) & Manner(e1,s1) & exists s2.(Theme(s2,x4) & a_blind(s2)) & Topic(e1,p1) & Actor(e1,x4) & v_go(e1) & (x3 = x4) & n_wife(x3) & subset_of(x2,x1) & n_husband(x2))