\v=4
\v~=\w Now|strong="H1419"\w* \w the|strong="H8432"\w* \w city|strong="H5892"\w* \w was|strong="H5892"\w* \w wide|strong="H7342"\w* \w and|strong="H1419"\w* \w large|strong="H1419"\w*; \w but|strong="H5971"\w* \w the|strong="H8432"\w* \w people|strong="H5971"\w* \w were|strong="H5971"\w* \w few|strong="H4592"\w* \w therein|strong="H8432"\w*, \w and|strong="H1419"\w* \w the|strong="H8432"\w* \w houses|strong="H1004"\w* \w were|strong="H5971"\w* \w not|strong="H5971"\w* \w builded|strong="H1129"\w*. 
\¬v
\¬p