\p
\v=46
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w king|x-occurrence="1" x-occurrences="1"\w* \w gave|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w command|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="2"\w* \w Benaiah|x-occurrence="1" x-occurrences="1"\w* \w son|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w Jehoiada|x-occurrence="1" x-occurrences="1"\w*. \w He|x-occurrence="1" x-occurrences="1"\w* \w went|x-occurrence="1" x-occurrences="1"\w* \w out|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w put|x-occurrence="1" x-occurrences="1"\w* \w Shimei|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w death|x-occurrence="1" x-occurrences="1"\w*.
\¬p
\p
\p~<<p=\w So|x-occurrence="1" x-occurrences="1"\w* \w Solomon|x-occurrence="1" x-occurrences="1"\w* \w obtained|x-occurrence="1" x-occurrences="1"\w* \w complete|x-occurrence="1" x-occurrences="1"\w* \w control|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w kingdom|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p
\¬c