\p
\v=7
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="2"\w* \w shouted|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w summon|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="5"\w* \w men|x-occurrence="1" x-occurrences="2"\w* \w who|x-occurrence="1" x-occurrences="4"\w* \w worked|x-occurrence="1" x-occurrences="1"\w* \w magic|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="2" x-occurrences="5"\w* \w men|x-occurrence="2" x-occurrences="2"\w* \w who|x-occurrence="2" x-occurrences="4"\w* \w studied|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="5"\w* \w stars|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="3"\w* \w the|x-occurrence="4" x-occurrences="5"\w* \w fortune|x-occurrence="1" x-occurrences="1"\w*-\w tellers|x-occurrence="1" x-occurrences="1"\w*. \w He|x-occurrence="1" x-occurrences="2"\w* \w said|x-occurrence="1" x-occurrences="1"\w*, “\w I|x-occurrence="1" x-occurrences="5"\w* \w will|x-occurrence="1" x-occurrences="7"\w* \w greatly|x-occurrence="1" x-occurrences="1"\w* \w honor|x-occurrence="1" x-occurrences="1"\w* \w any|x-occurrence="1" x-occurrences="1"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="3" x-occurrences="4"\w* \w can|x-occurrence="1" x-occurrences="1"\w* \w read|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w writing|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="3"\w* \w tell|x-occurrence="1" x-occurrences="1"\w* \w me|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w means|x-occurrence="1" x-occurrences="1"\w*. \w I|x-occurrence="2" x-occurrences="5"\w* \w will|x-occurrence="2" x-occurrences="7"\w* \w give|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="3"\w* \w purple|x-occurrence="1" x-occurrences="1"\w* \w robe|x-occurrence="1" x-occurrences="1"\w* \w like|x-occurrence="1" x-occurrences="1"\w* \w I|x-occurrence="3" x-occurrences="5"\w* \w wear|x-occurrence="1" x-occurrences="1"\w* \w because|x-occurrence="1" x-occurrences="1"\w* \w I|x-occurrence="4" x-occurrences="5"\w* \w am|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="5" x-occurrences="5"\w* \w king|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="3" x-occurrences="3"\w* \w I|x-occurrence="5" x-occurrences="5"\w* \w will|x-occurrence="3" x-occurrences="7"\w* \w put|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="2" x-occurrences="3"\w* \w gold|x-occurrence="1" x-occurrences="1"\w* \w chain|x-occurrence="1" x-occurrences="1"\w* \w around|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w neck|x-occurrence="1" x-occurrences="1"\w*. \w He|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="4" x-occurrences="7"\w* \w become|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="3" x-occurrences="3"\w* \w very|x-occurrence="1" x-occurrences="1"\w* \w important|x-occurrence="1" x-occurrences="2"\w* \w official|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w my|x-occurrence="1" x-occurrences="1"\w* \w kingdom|x-occurrence="1" x-occurrences="1"\w*; \w there|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="5" x-occurrences="7"\w* \w be|x-occurrence="1" x-occurrences="3"\w* \w only|x-occurrence="1" x-occurrences="1"\w* \w two|x-occurrence="1" x-occurrences="1"\w* \w others|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="4" x-occurrences="4"\w* \w will|x-occurrence="6" x-occurrences="7"\w* \w be|x-occurrence="2" x-occurrences="3"\w* \w more|x-occurrence="1" x-occurrences="1"\w* \w important|x-occurrence="2" x-occurrences="2"\w* \w than|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="7" x-occurrences="7"\w* \w be|x-occurrence="3" x-occurrences="3"\w*.”
\¬v
\¬p