\p
\v=32
\v~=“\w At|strong="H0413"\w* \w the|strong="H0413"\w* \w east|strong="H6921"\w* \w side|strong="H6285"\w* \w four|strong="H0702"\w* \w thousand|strong="H0505"\w* \w and|strong="H3967"\w* \w five|strong="H2568"\w* \w hundred|strong="H3967"\w* reeds, \w and|strong="H3967"\w* \w three|strong="H7969"\w* \w gates|strong="H8179"\w*: even \w the|strong="H0413"\w* \w gate|strong="H8179"\w* \w of|strong="H8179"\w* \w Joseph|strong="H3130"\w*, \w one|strong="H0259"\w*; \w the|strong="H0413"\w* \w gate|strong="H8179"\w* \w of|strong="H8179"\w* \w Benjamin|strong="H1144"\w*, \w one|strong="H0259"\w*; \w the|strong="H0413"\w* \w gate|strong="H8179"\w* \w of|strong="H8179"\w* \w Dan|strong="H1835"\w*, \w one|strong="H0259"\w*. 
\¬v
\¬p