\v=19
\v~=\w Was|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="2"\w* \w even|x-occurrence="1" x-occurrences="1"\w* \w more|x-occurrence="1" x-occurrences="1"\w* \w famous|x-occurrence="1" x-occurrences="2"\w* \w than|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w three|x-occurrence="1" x-occurrences="2"\w*? \w He|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w made|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w captain|x-occurrence="1" x-occurrences="1"\w*. \w However|x-occurrence="1" x-occurrences="1"\w*, \w his|x-occurrence="1" x-occurrences="1"\w* \w fame|x-occurrence="1" x-occurrences="2"\w* \w did|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="2" x-occurrences="2"\w* \w equal|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w fame|x-occurrence="2" x-occurrences="2"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w three|x-occurrence="2" x-occurrences="2"\w* \w most|x-occurrence="1" x-occurrences="1"\w* \w famous|x-occurrence="2" x-occurrences="2"\w* \w soldiers|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p