\q1
\v=4
\v~=\w Where|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w no|x-occurrence="1" x-occurrences="1"\w* \w cattle|x-occurrence="1" x-occurrences="1"\w* \w feeding|x-occurrence="1" x-occurrences="2"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w barn|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="2" x-occurrences="2"\w* \w feeding|x-occurrence="2" x-occurrences="2"\w* \w trough|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w clean|x-occurrence="1" x-occurrences="1"\w*;
\¬q1
\q2
\p~<<q2=\w but|x-occurrence="1" x-occurrences="1"\w* \w if|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="2"\w* \w farmer|x-occurrence="1" x-occurrences="1"\w* \w only|x-occurrence="1" x-occurrences="1"\w* \w has|x-occurrence="1" x-occurrences="1"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w ox|x-occurrence="1" x-occurrences="1"\w*, \w still|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w can|x-occurrence="1" x-occurrences="1"\w* \w grow|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="2" x-occurrences="2"\w* \w very|x-occurrence="1" x-occurrences="1"\w* \w great|x-occurrence="1" x-occurrences="1"\w* \w crop|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v