\v=31
\v~=\w As|x-occurrence="1" x-occurrences="1"\w* \w long|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w Jesse|x-occurrence="1" x-occurrences="1"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w son|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w living|x-occurrence="1" x-occurrences="1"\w*, \w you|x-occurrence="1" x-occurrences="2"\w* \w will|x-occurrence="1" x-occurrences="2"\w* \w never|x-occurrence="1" x-occurrences="2"\w* \w become|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w king|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="2"\w* \w you|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="2" x-occurrences="2"\w* \w never|x-occurrence="2" x-occurrences="2"\w* \w rule|x-occurrence="1" x-occurrences="1"\w* \w over|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w kingdom|x-occurrence="1" x-occurrences="1"\w*! \w So|x-occurrence="1" x-occurrences="1"\w* \w now|x-occurrence="1" x-occurrences="1"\w*, \w summon|x-occurrence="1" x-occurrences="1"\w* \w David|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="2" x-occurrences="2"\w* \w bring|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 me|x-occurrence="1" x-occurrences="1"\w*. \w He|x-occurrence="1" x-occurrences="1"\w* \w must|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w executed|x-occurrence="1" x-occurrences="1"\w*!”
\¬v
\¬p