\v=9 \v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w into|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w cave|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w slept|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="2" x-occurrences="2"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w night|x-occurrence="1" x-occurrences="1"\w*. \¬p \p \p~<