\v=27 \v~=\w This|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="2"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w concerning|x-occurrence="1" x-occurrences="1"\w* \w whom|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="2" x-occurrences="2"\w* \w written|x-occurrence="1" x-occurrences="1"\w*, \¬p \q1 \p~<