\v=18
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w happened|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w her|x-occurrence="1" x-occurrences="2"\w* \w soul|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="2"\w* \w leaving|x-occurrence="1" x-occurrences="1"\w* \w her|x-occurrence="2" x-occurrences="2"\w* (\w for|x-occurrence="1" x-occurrences="1"\w* \w she|x-occurrence="1" x-occurrences="2"\w* \w was|x-occurrence="2" x-occurrences="2"\w* \w dying|x-occurrence="1" x-occurrences="1"\w*), \w then|x-occurrence="1" x-occurrences="1"\w* \w she|x-occurrence="2" x-occurrences="2"\w* \w called|x-occurrence="1" x-occurrences="2"\w* \w his|x-occurrence="1" x-occurrences="2"\w* \w name|x-occurrence="1" x-occurrences="1"\w* \w Ben|x-occurrence="1" x-occurrences="1"\w*-\w oni|x-occurrence="1" x-occurrences="1"\w*, \w but|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="2"\w* \w father|x-occurrence="1" x-occurrences="1"\w* \w called|x-occurrence="2" x-occurrences="2"\w* \w him|x-occurrence="1" x-occurrences="1"\w* \w Benjamin|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p