\v=30
\v~=\w who|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="1" x-occurrences="1"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w no|x-occurrence="1" x-occurrences="1"\w* \w means|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w receive|x-occurrence="1" x-occurrences="1"\w* \w much|x-occurrence="1" x-occurrences="1"\w* \w more|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="2"\w* \w this|x-occurrence="1" x-occurrences="1"\w* \w time|x-occurrence="1" x-occurrences="1"\w*—\w and|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w age|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w coming|x-occurrence="1" x-occurrences="1"\w*, \w eternal|x-occurrence="1" x-occurrences="1"\w* \w life|x-occurrence="1" x-occurrences="1"\w*.”
\¬v
\¬p