\v=16
\v~=\w For|strong="H3588"\w* \w as|strong="H1961"\w* \w ye|strong="H8354"\w* \w have|strong="H1961"\w* \w drunk|strong="H8354"\w* \w upon|strong="H5921"\w* \w my|strong="H3605"\w* \w holy|strong="H6944"\w* \w mountain|strong="H2022"\w*, \w so|strong="H1961"\w* \w shall|strong="H1471"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w nations|strong="H1471"\w* \w drink|strong="H8354"\w* \w continually|strong="H8548"\w*; \w yea|strong="H3588"\w*, \w they|strong="H3588"\w* \w shall|strong="H1471"\w* \w drink|strong="H8354"\w*, \w and|strong="H1471"\w* \w swallow|strong="H3886"\w* \w down|strong="H3886"\w*, \w and|strong="H1471"\w* \w shall|strong="H1471"\w* \w be|strong="H1961"\w* \w as|strong="H1961"\w* \w though|strong="H3588"\w* \w they|strong="H3588"\w* \w had|strong="H1961"\w* \w not|strong="H3808"\w* \w been|strong="H1961"\w*. 
\¬v
\¬p