\q1
\v=9
\v~=\w Its|strong="H3220"\w* \w measure|strong="H4055"\w* \w is|strong="H0776"\w* \w longer|strong="H0752"\w* \w than|strong="H4480"\w* \w the|strong="H4480"\w* \w earth|strong="H0776"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H0776"\w* \w broader|strong="H7342"\w* \w than|strong="H4480"\w* \w the|strong="H4480"\w* \w sea|strong="H3220"\w*. 
\¬q2
\¬v