\v=23
\v~=\w Then|strong="H3318"\w* \w Ehud|strong="H0164"\w* \w went|strong="H3318"\w* \w forth|strong="H3318"\w* \w into|strong="H3318"\w* \w the|strong="H3318"\w* \w porch|strong="H4528"\w*, \w and|strong="H3318"\w* \w shut|strong="H5462"\w* \w the|strong="H3318"\w* \w doors|strong="H1817"\w* \w of|strong="H3318"\w* \w the|strong="H3318"\w* \w upper|strong="H5944"\w* \w room|strong="H5944"\w* \w upon|strong="H5921"\w* \w him|strong="H3318"\w*, \w and|strong="H3318"\w* \w locked|strong="H5274"\w* \w them|strong="H3318"\w*. 
\¬v
\¬p