\v=24
\v~=\w and|strong="H4325"\w* \w they|strong="H0369"\w* \w took|strong="H3947"\w* \w him|strong="H0853"\w*, \w and|strong="H4325"\w* \w threw|strong="H7993"\w* \w him|strong="H0853"\w* \w into|strong="H7993"\w* \w the|strong="H0853"\w* \w pit|strong="H0953"\w*. \w The|strong="H0853"\w* \w pit|strong="H0953"\w* \w was|strong="H0369"\w* \w empty|strong="H7386"\w*. \w There|strong="H0369"\w* \w was|strong="H0369"\w* \w no|strong="H0369"\w* \w water|strong="H4325"\w* \w in|strong="H3947"\w* \w it|strong="H3947"\w*. 
\¬v
\¬p