\v=2
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w tied|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w hands|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w took|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 Pilate|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="1" x-occurrences="1"\w* \w Roman|x-occurrence="1" x-occurrences="1"\w* \w governor|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p