\v=46
\v~=\w even|strong="H1571"\w* \w all|strong="H3605"\w* \w they|strong="H3605"\w* \w that|strong="H3605"\w* \w were|strong="H1961"\w* \w numbered|strong="H6485"\w* \w were|strong="H1961"\w* \w six|strong="H8337"\w* \w hundred|strong="H3967"\w* \w thousand|strong="H0505"\w* \w and|strong="H3967"\w* \w three|strong="H7969"\w* \w thousand|strong="H0505"\w* \w and|strong="H3967"\w* \w five|strong="H2568"\w* \w hundred|strong="H3967"\w* \w and|strong="H3967"\w* \w fifty|strong="H2572"\w*. 
\¬v
\¬p