\v=21
\v~=\w Those|strong="G3588"\w* \w who|strong="G3588"\w* \w ate|strong="G2068"\w* \w were|strong="G1510"\w* \w about|strong="G5616"\w* \w five|strong="G4000"\w* \w thousand|strong="G4000"\w* \w men|strong="G0435"\w*, \w in|strong="G2532"\w* addition \w to|strong="G2532"\w* \w women|strong="G1135"\w* \w and|strong="G2532"\w* \w children|strong="G3813"\w*. 
\¬v
\¬p