\q1
\v=4
\v~=\w He|strong="H3605"\w* \w counts|strong="H4487"\w* \w the|strong="H3605"\w* numberless \w stars|strong="H3556"\w*, 
\¬q1
\q2
\p~<<q2=\w he|strong="H3605"\w* \w gives|strong="H7121"\w* \w names|strong="H8034"\w* \w to|strong="H7121"\w* \w them|strong="H7121"\w* \w all|strong="H3605"\w*. 
\¬q2
\¬v