\q1
\v=23
\v~=\w Man|strong="H0120"\w* \w goes|strong="H3318"\w* \w out|strong="H3318"\w* \w to|strong="H5704"\w* \w his|strong="H3318"\w* \w work|strong="H6467"\w*, 
\¬q1
\q2
\p~<<q2=\w to|strong="H5704"\w* \w his|strong="H3318"\w* \w labor|strong="H5656"\w* \w until|strong="H5704"\w* \w the|strong="H5704"\w* \w evening|strong="H6153"\w*. 
\¬q2
\¬v