\p
\v=14
\v~=\w 2|x-occurrence="1" x-occurrences="1"\w*, \w 056|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 Bigvai|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p