\v=44
\v~=\w There|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w about|x-occurrence="1" x-occurrences="1"\w* \w five|x-occurrence="1" x-occurrences="1"\w* \w thousand|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w ate|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w bread|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w fish|x-occurrence="1" x-occurrences="1"\w*. \w They|x-occurrence="1" x-occurrences="1"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w even|x-occurrence="1" x-occurrences="1"\w* \w count|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w women|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="2"\w* \w children|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p