\q1
\v=18
\v~=\w He|strong="H4428"\w* loosens \w the|strong="H0631"\w* bond \w of|strong="H4428"\w* \w kings|strong="H4428"\w*. 
\¬q1
\q2
\p~<<q2=\w He|strong="H4428"\w* \w binds|strong="H0631"\w* \w their|strong="H0631"\w* \w waist|strong="H4975"\w* \w with|strong="H4428"\w* \w a|strong="H4428"\w* \w belt|strong="H0232"\w*. 
\¬q2
\¬v