\v=9
\v~=\w Rejoice|x-occurrence="1" x-occurrences="1"\w* \w very|x-occurrence="1" x-occurrences="1"\w* \w much|x-occurrence="1" x-occurrences="1"\w*, \w you|x-occurrence="1" x-occurrences="2"\w* \w people|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Jerusalem|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="3"\w* \w shout|x-occurrence="1" x-occurrences="1"\w* \w joyfully|x-occurrence="1" x-occurrences="1"\w*,
\¬p
\q1<<q
\p~<<q=\w because|x-occurrence="1" x-occurrences="1"\w* \w your|x-occurrence="1" x-occurrences="1"\w* \w king|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="3"\w* \w be|x-occurrence="1" x-occurrences="3"\w* \w coming|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="2" x-occurrences="2"\w*.
\¬q1
\q1<<q
\p~<<q=\w He|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w righteous|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="3"\w* \w victorious|x-occurrence="1" x-occurrences="1"\w*;
\¬q1
\q1<<q
\p~<<q=\w he|x-occurrence="1" x-occurrences="2"\w* \w will|x-occurrence="2" x-occurrences="3"\w* \w be|x-occurrence="2" x-occurrences="3"\w* \w gentle|x-occurrence="1" x-occurrences="1"\w*,
\¬q1
\q1<<q
\p~<<q=\w and|x-occurrence="3" x-occurrences="3"\w* \w he|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="3" x-occurrences="3"\w* \w be|x-occurrence="3" x-occurrences="3"\w* \w riding|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="2"\w* \w a|x-occurrence="1" x-occurrences="2"\w* \w donkey|x-occurrence="1" x-occurrences="2"\w*,
\¬q1
\q1<<q
\p~<<q=\w on|x-occurrence="2" x-occurrences="2"\w* \w a|x-occurrence="2" x-occurrences="2"\w* \w young|x-occurrence="1" x-occurrences="1"\w* \w female|x-occurrence="1" x-occurrences="1"\w* \w donkey|x-occurrence="2" x-occurrences="2"\w*.
\¬v