\q1
\v=7
\v~=\w He|strong="H3808"\w* \w commands|strong="H0559"\w* \w the|strong="H0559"\w* sun \w and|strong="H0559"\w* \w it|strong="H3808"\w* \w doesn’t|strong="H3808"\w* \w rise|strong="H2224"\w*, 
\¬q1
\q2
\p~<<q2=\w and|strong="H0559"\w* \w seals|strong="H2856"\w* \w up|strong="H2856"\w* \w the|strong="H0559"\w* \w stars|strong="H3556"\w*. 
\¬q2
\¬v