\v=14
\v~=\w After|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="2"\w* \w had|x-occurrence="1" x-occurrences="2"\w* \w buried|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="3"\w* \w father|x-occurrence="1" x-occurrences="2"\w*, \w Joseph|x-occurrence="1" x-occurrences="1"\w* \w returned|x-occurrence="1" x-occurrences="1"\w* \w into|x-occurrence="1" x-occurrences="1"\w* \w Egypt|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="2" x-occurrences="2"\w*, \w along|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="3"\w* \w brothers|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="2" x-occurrences="2"\w* \w accompanied|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w bury|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="3" x-occurrences="3"\w* \w father|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p