\v=10
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w disciples|x-occurrence="1" x-occurrences="1"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w away|x-occurrence="1" x-occurrences="1"\w* \w again|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* {\w own|x-occurrence="1" x-occurrences="1"\w* \w homes|x-occurrence="1" x-occurrences="1"\w*}.
\¬v
\¬p