\v=2
\v~=\w Solomon|strong="H8010"\w* counted \w out|strong="H7971"\w* seventy thousand \w men|strong="H0559"\w* \w to|strong="H0413"\w* bear burdens, eighty thousand \w men|strong="H0559"\w* \w who|strong="H0834"\w* \w were|strong="H0834"\w* \w stone|strong="H0834"\w* cutters \w in|strong="H3427"\w* \w the|strong="H0559"\w* mountains, \w and|strong="H4428"\w* three thousand six hundred \w to|strong="H0413"\w* oversee \w them|strong="H0413"\w*. 
\¬v
\¬p