\p
\v=6
\v~=\w So|strong="H1961"\w* \w we|strong="H0834"\w* built \w the|strong="H3605"\w* wall; \w and|strong="H0935"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* wall \w was|strong="H1961"\w* \w joined|strong="H0935"\w* \w together|strong="H5921"\w* \w to|strong="H0559"\w* half \w its|strong="H3605"\w* height, \w for|strong="H5921"\w* \w the|strong="H3605"\w* \w people|strong="H3427"\w* \w had|strong="H0834"\w* \w a|strong="H1961"\w* mind \w to|strong="H0559"\w* work. 
\¬v
\¬p