\q1
\v=15
\v~=\w A|strong="H6566"\w* \w mountain|strong="H2022"\w* \w of|strong="H4428"\w* \w God|strong="H0430"\w* \w is|strong="H4428"\w* \w the|strong="H6566"\w* \w mountain|strong="H2022"\w* \w of|strong="H4428"\w* \w Bashan|strong="H1316"\w*; 
\¬q1
\q1
\p~<<q1=\w A|strong="H6566"\w* \w high|strong="H1116"\w* \w mountain|strong="H2022"\w* \w is|strong="H4428"\w* \w the|strong="H6566"\w* \w mountain|strong="H2022"\w* \w of|strong="H4428"\w* \w Bashan|strong="H1316"\w*. 
\¬q1
\¬v