\q1
\v=8
\v~=\w The|strong="H5002"\w* \w silver|strong="H3701"\w* \w is|strong="H3068"\w* \w mine|strong="H5375"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H3068"\w* \w the|strong="H5002"\w* \w gold|strong="H2091"\w* \w is|strong="H3068"\w* \w mine|strong="H5375"\w*, 
\¬q2
\¬v