\v=23
\v~=\w And|strong="H3967"\w* \w there|strong="H8033"\w* \w was|strong="H8179"\w* \w a|strong="H4058"\w* \w gate|strong="H8179"\w* \w to|strong="H8179"\w* \w the|strong="H4058"\w* \w inner|strong="H6442"\w* \w court|strong="H2691"\w* \w over|strong="H5048"\w* \w against|strong="H5048"\w* \w the|strong="H4058"\w* \add \+w other|strong="H5048"\+w*\add* \w gate|strong="H8179"\w*, \add \+w both|strong="H8147"\+w*\add* \w on|strong="H5921"\w* \w the|strong="H4058"\w* \w north|strong="H6828"\w* \w and|strong="H3967"\w* \w on|strong="H5921"\w* \w the|strong="H4058"\w* \w east|strong="H6921"\w*; \w and|strong="H3967"\w* \w he|strong="H4058"\w* \w measured|strong="H4058"\w* \w from|strong="H4058"\w* \w gate|strong="H8179"\w* \w to|strong="H8179"\w* \w gate|strong="H8179"\w* \w a|strong="H4058"\w* \w hundred|strong="H3967"\w* \w cubits|strong="H0520"\w*. 
\¬v
\¬p