\q1
\v=3
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w come|x-occurrence="1" x-occurrences="1"\w* \w down|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w heaven|x-occurrence="1" x-occurrences="1"\w*
\¬q1
\q2
\p~<<q2=\w and|x-occurrence="1" x-occurrences="1"\w* \w walk|x-occurrence="1" x-occurrences="1"\w* \w over|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w high|x-occurrence="1" x-occurrences="1"\w* \w places|x-occurrence="1" x-occurrences="1"\w* \w where|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="1"\w* \w worship|x-occurrence="1" x-occurrences="1"\w* \w idols|x-occurrence="1" x-occurrences="1"\w*.
\¬q2
\¬v