\q1 \v=10 \v~=\w For|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w command|x-occurrence="1" x-occurrences="4"\w* \w upon|x-occurrence="1" x-occurrences="4"\w* \w command|x-occurrence="2" x-occurrences="4"\w*, \w command|x-occurrence="3" x-occurrences="4"\w* \w upon|x-occurrence="2" x-occurrences="4"\w* \w command|x-occurrence="4" x-occurrences="4"\w*; \w rule|x-occurrence="1" x-occurrences="4"\w* \w upon|x-occurrence="3" x-occurrences="4"\w* \w rule|x-occurrence="2" x-occurrences="4"\w*, \w rule|x-occurrence="3" x-occurrences="4"\w* \w upon|x-occurrence="4" x-occurrences="4"\w* \w rule|x-occurrence="4" x-occurrences="4"\w*; \¬q1 \q1 \p~<