\v=8
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w struck|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="4"\w* \w lower|x-occurrence="1" x-occurrences="1"\w* \w leg|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="2"\w* \w well|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="2" x-occurrences="4"\w* \w thigh|x-occurrence="1" x-occurrences="1"\w*, \w a|x-occurrence="1" x-occurrences="1"\w* \w great|x-occurrence="1" x-occurrences="1"\w* \w slaughter|x-occurrence="1" x-occurrences="1"\w*. \w Then|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="2"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w down|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="2" x-occurrences="2"\w* \w remained|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="4"\w* \w cleft|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="4" x-occurrences="4"\w* \w rock|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w Etam|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p