\v=42
\v~=\w The|strong="H1121"\w* \w children|strong="H1121"\w* \w of|strong="H1121"\w* \w Harim|strong="H2766"\w*, \w a|strong="H1121"\w* \w thousand|strong="H0505"\w* \add \+w and|strong="H1121"\+w*\add* \w seventeen|strong="H7651"\w*. 
\¬v
\¬p