\v=16
\v~=\w From|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w time|x-occurrence="1" x-occurrences="1"\w* \w Judas|x-occurrence="1" x-occurrences="1"\w* \w watched|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w an|x-occurrence="1" x-occurrences="1"\w* \w opportunity|x-occurrence="1" x-occurrences="1"\w* \w when|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w could|x-occurrence="1" x-occurrences="1"\w* \w arrest|x-occurrence="1" x-occurrences="1"\w* \w Jesus|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p