\v=10
\v~=\w When|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="2"\w* \w saw|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w star|x-occurrence="1" x-occurrences="1"\w*, \w they|x-occurrence="2" x-occurrences="2"\w* \w rejoiced|x-occurrence="1" x-occurrences="1"\w* \w greatly|x-occurrence="1" x-occurrences="1"\w*.
\¬v