\v=15
\v~=\w His|strong="H6485"\w* division, \w and|strong="H3967"\w* those \w who|strong="H6635"\w* \w were|strong="H6485"\w* \w counted|strong="H6485"\w* \w of|strong="H6635"\w* \w them|strong="H6485"\w*, \w were|strong="H6485"\w* \w forty-five|strong="H0705"\w* \w thousand|strong="H0505"\w* \w six|strong="H8337"\w* \w hundred|strong="H3967"\w* \w fifty|strong="H2572"\w*. 
\¬v
\¬p