\v=42 \v~=\w And|x-occurrence="1" x-occurrences="1"\w* \w many|x-occurrence="1" x-occurrences="1"\w* \w believed|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="1"\w*. \¬v \¬p \¬c