A smartly dressed couple raise their hands.
The couple is well-dressed.
Well-dressed is a restatement of smartly dressed.
exists e2 e1 x1 x2.(Theme(e2,x2) & Actor(e2,x1) & v_raise(e2) & n_hand(x2) & of(x2,x1) & n_thing(x1) & n_couple(x1) & Theme(e1,x1) & v_dress(e1) & r_smartly(x1))
exists s1 x1.(n_couple(x1) & Theme(s1,x1) & a_well-dressed(s1))