\v=13
\v~=\w It|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w important|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w know|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w if|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="2"\w* \w rebuild|x-occurrence="1" x-occurrences="1"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w finish|x-occurrence="1" x-occurrences="1"\w* \w building|x-occurrence="1" x-occurrences="1"\w* \w its|x-occurrence="1" x-occurrences="1"\w* \w walls|x-occurrence="1" x-occurrences="1"\w*, \w they|x-occurrence="2" x-occurrences="2"\w* \w will|x-occurrence="1" x-occurrences="2"\w* \w stop|x-occurrence="1" x-occurrences="1"\w* \w paying|x-occurrence="1" x-occurrences="1"\w* \w any|x-occurrence="1" x-occurrences="1"\w* \w taxes|x-occurrence="1" x-occurrences="1"\w*. \w As|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w result|x-occurrence="1" x-occurrences="1"\w*, \w there|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="2" x-occurrences="2"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w less|x-occurrence="1" x-occurrences="1"\w* \w money|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w your|x-occurrence="1" x-occurrences="1"\w* \w treasury|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p