\v=11
\v~=\w Now|x-occurrence="1" x-occurrences="1"\w* \w whenever|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="3"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="2"\w* \w stay|x-occurrence="1" x-occurrences="2"\w* \w with|x-occurrence="1" x-occurrences="2"\w* \w their|x-occurrence="1" x-occurrences="3"\w* \w husbands|x-occurrence="1" x-occurrences="3"\w*, \w they|x-occurrence="2" x-occurrences="3"\w* \w should|x-occurrence="1" x-occurrences="3"\w* \w not|x-occurrence="2" x-occurrences="2"\w* \w marry|x-occurrence="1" x-occurrences="1"\w* \w again|x-occurrence="1" x-occurrences="1"\w* \w or|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="3" x-occurrences="3"\w* \w should|x-occurrence="2" x-occurrences="3"\w* \w go|x-occurrence="1" x-occurrences="1"\w* \w back|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="2" x-occurrences="3"\w* \w husbands|x-occurrence="2" x-occurrences="3"\w*. \w Further|x-occurrence="1" x-occurrences="1"\w*, \w husbands|x-occurrence="3" x-occurrences="3"\w* \w should|x-occurrence="3" x-occurrences="3"\w* \w stay|x-occurrence="2" x-occurrences="2"\w* \w with|x-occurrence="2" x-occurrences="2"\w* \w their|x-occurrence="3" x-occurrences="3"\w* \w wives|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p