\b
\q1
\v=4
\v~=\w That|strong="H3499"\w* \w which|strong="H0834"\w* \w the|strong="H3499"\w* \w cutting|strong="H2799"\w* \w locust|strong="H3218"\w* \w has|strong="H3218"\w* \w left|strong="H3499"\w*, 
\¬q1
\q2
\p~<<q2=\w the|strong="H3499"\w* \w swarming|strong="H8318"\w* \w locust|strong="H3218"\w* \w has|strong="H3218"\w* \w eaten|strong="H0398"\w*, 
\¬q2
\q1
\p~<<q1=\w that|strong="H3499"\w* \w which|strong="H0834"\w* \w the|strong="H3499"\w* \w swarming|strong="H8318"\w* \w locust|strong="H3218"\w* \w has|strong="H3218"\w* \w left|strong="H3499"\w*, 
\¬q1
\q2
\p~<<q2=\w the|strong="H3499"\w* hopping \w locust|strong="H3218"\w* \w has|strong="H3218"\w* \w eaten|strong="H0398"\w*, 
\¬q2
\q1
\p~<<q1=\w and|strong="H3499"\w* \w that|strong="H3499"\w* \w which|strong="H0834"\w* \w the|strong="H3499"\w* hopping \w locust|strong="H3218"\w* \w has|strong="H3218"\w* \w left|strong="H3499"\w*, 
\¬q1
\q2
\p~<<q2=\w the|strong="H3499"\w* \w destroying|strong="H7843"\w* \w locust|strong="H3218"\w* \w has|strong="H3218"\w* \w eaten|strong="H0398"\w*. 
\¬q2
\¬v