\p
\v=32
\v~=\w On|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w east|x-occurrence="1" x-occurrences="1"\w* \w side|x-occurrence="1" x-occurrences="1"\w*, \w also|x-occurrence="1" x-occurrences="1"\w* \w two|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w two|x-occurrence="2" x-occurrences="2"\w*-\w fifths|x-occurrence="1" x-occurrences="1"\w* \w kilometers|x-occurrence="1" x-occurrences="1"\w* \w long|x-occurrence="1" x-occurrences="1"\w*, \w will|x-occurrence="1" x-occurrences="1"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w gates|x-occurrence="1" x-occurrences="1"\w* \w named|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w Joseph|x-occurrence="1" x-occurrences="1"\w*, \w Benjamin|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="2" x-occurrences="2"\w* \w Dan|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p