\q1
\v=9
\v~=\w The|strong="H4480"\w* \w measure|strong="H4055"\w* \w thereof|strong="H4055"\w* \w is|strong="H4480"\w* \w longer|strong="H5750"\w* \w than|strong="H4480"\w* \w the|strong="H4480"\w* \w earth|strong="H0776"\w*, 
\¬q1
\q1
\p~<<q1=\w And|strong="H3220"\w* \w broader|strong="H7342"\w* \w than|strong="H4480"\w* \w the|strong="H4480"\w* \w sea|strong="H3220"\w*. 
\¬q1
\¬v