\v=3 \v~=\w Each|x-occurrence="1" x-occurrences="1"\w* {\w one|x-occurrence="1" x-occurrences="1"\w*} \w called|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w another|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w said|x-occurrence="1" x-occurrences="1"\w*, \¬p \q1 \p~<