\v=17
\v~=\w They|strong="G0846"\w* \w ate|strong="G2068"\w* \w and|strong="G2532"\w* \w were|strong="G3956"\w* \w all|strong="G3956"\w* \w filled|strong="G5526"\w*. \w They|strong="G0846"\w* gathered \w up|strong="G0142"\w* \w twelve|strong="G1427"\w* \w baskets|strong="G2894"\w* \w of|strong="G3956"\w* \w broken|strong="G2801"\w* \w pieces|strong="G2801"\w* \w that|strong="G3956"\w* \w were|strong="G3956"\w* \w left|strong="G4052"\w* \w over|strong="G4052"\w*. 
\¬v
\¬p