\b
\q1
\v=8
\v~=\w There|strong="H0369"\w* \w are|strong="H1992"\w* \w sixty|strong="H8346"\w* \w queens|strong="H4436"\w*, \w eighty|strong="H8084"\w* \w concubines|strong="H6370"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H6370"\w* virgins \w without|strong="H0369"\w* \w number|strong="H4557"\w*. 
\¬q2
\¬v