\v=6
\v~=\w Altogether|x-occurrence="1" x-occurrences="1"\w* \w 468|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="1" x-occurrences="2"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="1" x-occurrences="2"\w* \w descendants|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w Perez|x-occurrence="1" x-occurrences="1"\w* \w lived|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="2"\w* {\w the|x-occurrence="1" x-occurrences="1"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w*} \w Jerusalem|x-occurrence="1" x-occurrences="1"\w*. \w These|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="2" x-occurrences="2"\w* \w were|x-occurrence="2" x-occurrences="2"\w* {\w very|x-occurrence="1" x-occurrences="1"\w*} \w brave|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w skilled|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="2" x-occurrences="2"\w* \w combat|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p