\v=2
\v~=\w that|strong="H3478"\w* \w the|strong="H5414"\w* \w cities|strong="H5892"\w* \w which|strong="H5892"\w* \w Huram|strong="H2361"\w* \w had|strong="H3478"\w* \w given|strong="H5414"\w* \w to|strong="H3478"\w* \w Solomon|strong="H8010"\w*, \w Solomon|strong="H8010"\w* \w built|strong="H1129"\w* \w them|strong="H5414"\w*, \w and|strong="H1121"\w* \w caused|strong="H5414"\w* \w the|strong="H5414"\w* \w children|strong="H1121"\w* \w of|strong="H1121"\w* \w Israel|strong="H3478"\w* \w to|strong="H3478"\w* \w dwell|strong="H3427"\w* \w there|strong="H8033"\w*. 
\¬v
\¬p