\q2
\v=31
\v~=\w the|strong="H5973"\w* greyhound; 
\¬q2
\q2
\p~<<q2=\w the|strong="H5973"\w* \w male|strong="H8495"\w* \w goat|strong="H8495"\w*; 
\¬q2
\q2
\p~<<q2=\w and|strong="H4428"\w* \w the|strong="H5973"\w* \w king|strong="H4428"\w* \w against|strong="H5973"\w* whom there \w is|strong="H4428"\w* no rising \w up|strong="H4428"\w*. 
\¬q2
\¬v