\b
\q1
\v=12
\v~=\w There|strong="H8033"\w* \w the|strong="H3027"\w* \w workers|strong="H6466"\w* \w of|strong="H3027"\w* \w wrong|strong="H7563"\w* \w lie|strong="H7901"\w* \w prostrate|strong="H7812"\w*, 
\¬q1
\q2
\p~<<q2=\w thrust|strong="H1920"\w* \w down|strong="H3027"\w* \w to|strong="H3027"\w* \w rise|strong="H6965"\w* \w up|strong="H5927"\w* \w no|strong="H7563"\w* \w more|strong="H7563"\w*. 
\¬v
\¬q2
\¬c