\b
\q1
\v=15
\v~=\w Sun|strong="H8121"\w* \w and|strong="H3967"\w* \w moon|strong="H3394"\w* \w have|strong="H1961"\w* \w turned|strong="H2015"\w* \w dark|strong="H2822"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H3967"\w* \w the|strong="H3605"\w* \w stars|strong="H3556"\w* \w withdrawn|strong="H1639"\w* \w their|strong="H3605"\w* \w shining|strong="H5051"\w*. 
\¬q2
\¬v