\p \c#=22 \v=1 \v~=\w A|x-occurrence="1" x-occurrences="1"\w* \w declaration|x-occurrence="1" x-occurrences="1"\w* \w about|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w Valley|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Vision|x-occurrence="1" x-occurrences="1"\w*: \¬p \q1 \p~<