\v=6
\v~=\w Blessed|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="3"\w* \w holy|x-occurrence="1" x-occurrences="1"\w* {\w is|x-occurrence="1" x-occurrences="1"\w*} \w the|x-occurrence="1" x-occurrences="3"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w has|x-occurrence="1" x-occurrences="2"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w part|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w first|x-occurrence="1" x-occurrences="1"\w* \w resurrection|x-occurrence="1" x-occurrences="1"\w*! \w Over|x-occurrence="1" x-occurrences="1"\w* \w these|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w second|x-occurrence="1" x-occurrences="1"\w* \w death|x-occurrence="1" x-occurrences="1"\w* \w has|x-occurrence="2" x-occurrences="2"\w* \w no|x-occurrence="1" x-occurrences="1"\w* \w power|x-occurrence="1" x-occurrences="1"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="2"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w priests|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w God|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="3"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w Christ|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="3" x-occurrences="3"\w* \w will|x-occurrence="2" x-occurrences="2"\w* \w reign|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w 1|x-occurrence="1" x-occurrences="1"\w*,\w 000|x-occurrence="1" x-occurrences="1"\w* \w years|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p