\q1
\v=2
\v~=\w He|x-occurrence="1" x-occurrences="1"\w* \w enters|x-occurrence="1" x-occurrences="1"\w* \w into|x-occurrence="1" x-occurrences="1"\w* \w peace|x-occurrence="1" x-occurrences="1"\w*;
\¬q1
\q1
\p~<<q1=\w they|x-occurrence="1" x-occurrences="1"\w* \w rest|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="2"\w* \w their|x-occurrence="1" x-occurrences="2"\w* \w beds|x-occurrence="1" x-occurrences="1"\w*, \w those|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w walk|x-occurrence="1" x-occurrences="1"\w* {\w in|x-occurrence="2" x-occurrences="2"\w*} \w their|x-occurrence="2" x-occurrences="2"\w* \w uprightness|x-occurrence="1" x-occurrences="1"\w*.
\¬q1
\¬v