<human>: Does "They were divorced on July 25, 1988, and the marriage was formally annulled in 1997." contain the correct answer to "When did Kerry and his wife get an annullment?"
OPTIONS:
- yes
- no
<bot>: yes