\q1
\v=6
\v~=\w a|strong="H1245"\w* \w time|strong="H6256"\w* \w to|strong="H6256"\w* \w seek|strong="H1245"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H8104"\w* \w a|strong="H1245"\w* \w time|strong="H6256"\w* \w to|strong="H6256"\w* lose; 
\¬q2
\q1
\p~<<q1=\w a|strong="H1245"\w* \w time|strong="H6256"\w* \w to|strong="H6256"\w* \w keep|strong="H8104"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H8104"\w* \w a|strong="H1245"\w* \w time|strong="H6256"\w* \w to|strong="H6256"\w* \w cast|strong="H7993"\w* \w away|strong="H7993"\w*; 
\¬q2
\¬v