\q1
\v=8
\v~=\w A|x-occurrence="1" x-occurrences="1"\w* \w bribe|x-occurrence="1" x-occurrences="2"\w* \w works|x-occurrence="1" x-occurrences="1"\w* \w like|x-occurrence="1" x-occurrences="1"\w* \w magic|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w giving|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w bribe|x-occurrence="2" x-occurrences="2"\w*;
\¬q1
\q2
\p~<<q2=\w everything|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w tries|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w giving|x-occurrence="2" x-occurrences="2"\w* \w bribes|x-occurrence="1" x-occurrences="1"\w* \w succeeds|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v