\q2
\v=14
\v~=\w for|strong="H5921"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w high|strong="H7311"\w* \w mountains|strong="H2022"\w*, 
\¬q2
\q2
\p~<<q2=\w for|strong="H5921"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w hills|strong="H1389"\w* \w that|strong="H3605"\w* \w are|strong="H2022"\w* \w lifted|strong="H5375"\w* \w up|strong="H5375"\w*, 
\¬q2
\¬v