\v=9
\v~=\w Those|strong="G1161"\w* \w who|strong="G0846"\w* \w had|strong="G1510"\w* eaten \w were|strong="G1510"\w* \w about|strong="G5613"\w* \w four|strong="G5070"\w* \w thousand|strong="G5070"\w*. \w Then|strong="G2532"\w* \w he|strong="G2532"\w* \w sent|strong="G0630"\w* \w them|strong="G0846"\w* \w away|strong="G0630"\w*. 
\¬v
\¬p