\v=17
\v~=\w And|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="1"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w ate|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w satisfied|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="2" x-occurrences="2"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="2"\w* \w left|x-occurrence="1" x-occurrences="1"\w* \w over|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="2" x-occurrences="2"\w* \w picked|x-occurrence="1" x-occurrences="1"\w* \w up|x-occurrence="1" x-occurrences="1"\w*—\w 12|x-occurrence="1" x-occurrences="1"\w* \w baskets|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w broken|x-occurrence="1" x-occurrences="1"\w* \w pieces|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p