\v=12
\v~=\w When|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="1" x-occurrences="2"\w* \w arrived|x-occurrence="1" x-occurrences="1"\w* \w at|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Syracuse|x-occurrence="1" x-occurrences="1"\w*, \w we|x-occurrence="2" x-occurrences="2"\w* \w stayed|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="1"\w* \w three|x-occurrence="1" x-occurrences="1"\w* \w days|x-occurrence="1" x-occurrences="1"\w*.
\¬v