\p
\v=3
\v~=\w 2|x-occurrence="1" x-occurrences="1"\w*, \w 172|x-occurrence="1" x-occurrences="1"\w* \w descendants|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Parosh|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p