\v=11
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w Peter|x-occurrence="1" x-occurrences="1"\w* \w finally|x-occurrence="1" x-occurrences="1"\w* \w realized|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="4"\w* \w what|x-occurrence="1" x-occurrences="2"\w* \w had|x-occurrence="1" x-occurrences="2"\w* \w happened|x-occurrence="1" x-occurrences="2"\w* \w to|x-occurrence="1" x-occurrences="4"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w vision|x-occurrence="1" x-occurrences="1"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="2" x-occurrences="4"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="2" x-occurrences="2"\w* \w really|x-occurrence="1" x-occurrences="2"\w* \w happened|x-occurrence="2" x-occurrences="2"\w*. \w So|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w thought|x-occurrence="1" x-occurrences="1"\w*, “\w Now|x-occurrence="1" x-occurrences="1"\w* \w I|x-occurrence="1" x-occurrences="1"\w* \w really|x-occurrence="2" x-occurrences="2"\w* \w know|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="3" x-occurrences="4"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w Lord|x-occurrence="1" x-occurrences="1"\w* \w God|x-occurrence="1" x-occurrences="1"\w* \w sent|x-occurrence="1" x-occurrences="1"\w* \w an|x-occurrence="1" x-occurrences="1"\w* \w angel|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="4"\w* \w help|x-occurrence="1" x-occurrences="1"\w* \w me|x-occurrence="1" x-occurrences="3"\w*. \w He|x-occurrence="1" x-occurrences="1"\w* \w rescued|x-occurrence="1" x-occurrences="1"\w* \w me|x-occurrence="2" x-occurrences="3"\w* \w from|x-occurrence="1" x-occurrences="2"\w* \w what|x-occurrence="2" x-occurrences="2"\w* \w Herod|x-occurrence="1" x-occurrences="1"\w* \w planned|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="4"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="4" x-occurrences="4"\w* \w me|x-occurrence="3" x-occurrences="3"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="2" x-occurrences="2"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w things|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="4" x-occurrences="4"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w Jewish|x-occurrence="1" x-occurrences="1"\w* \w leaders|x-occurrence="1" x-occurrences="1"\w* \w expected|x-occurrence="1" x-occurrences="1"\w* \w would|x-occurrence="1" x-occurrences="1"\w* \w happen|x-occurrence="1" x-occurrences="1"\w*.”
\¬v
\¬p