\v=25
\v~=\w Indeed|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="1" x-occurrences="2"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w more|x-occurrence="1" x-occurrences="1"\w* \w honored|x-occurrence="1" x-occurrences="1"\w* \w than|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="4"\w* \w remainder|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="4"\w* \w the|x-occurrence="2" x-occurrences="4"\w* \w 30|x-occurrence="1" x-occurrences="1"\w* \w warriors|x-occurrence="1" x-occurrences="2"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="2" x-occurrences="2"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w become|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w member|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="4"\w* \w the|x-occurrence="3" x-occurrences="4"\w* \w first|x-occurrence="1" x-occurrences="1"\w* \w group|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="3" x-occurrences="4"\w* \w three|x-occurrence="1" x-occurrences="1"\w* \w warriors|x-occurrence="2" x-occurrences="2"\w*. \w David|x-occurrence="1" x-occurrences="1"\w* \w appointed|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 be|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="4" x-occurrences="4"\w* \w leader|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="4" x-occurrences="4"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w bodyguards|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p