\q1
\v=11
\v~=\w The|strong="H3680"\w* \w waters|strong="H4325"\w* \w covered|strong="H3680"\w* \w their|strong="H1992"\w* \w enemies|strong="H6862"\w*: 
\¬q1
\q2
\p~<<q2=\w not|strong="H3808"\w* \w one|strong="H3808"\w* \w of|strong="H4325"\w* \w them|strong="H1992"\w* \w was|strong="H4325"\w* \w left|strong="H3498"\w*. 
\¬q2
\¬v