\b
\q1
\v=10
\v~=\w Earth|strong="H8121"\w* \w trembles|strong="H7264"\w* \w before|strong="H6440"\w* \w them|strong="H6440"\w*, 
\¬q1
\q2
\p~<<q2=\w the|strong="H6440"\w* \w sky|strong="H8064"\w* \w quakes|strong="H7264"\w*, 
\¬q2
\q1
\p~<<q1=\w the|strong="H6440"\w* \w sun|strong="H8121"\w* \w and|strong="H8064"\w* \w moon|strong="H3394"\w* \w become|strong="H6937"\w* \w dark|strong="H6937"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H8064"\w* \w the|strong="H6440"\w* \w stars|strong="H3556"\w* \w withdraw|strong="H7725"\w* \w their|strong="H6440"\w* \w shining|strong="H5051"\w*; 
\¬q2
\¬v