\v=35
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w those|x-occurrence="1" x-occurrences="1"\w* \w two|x-occurrence="1" x-occurrences="1"\w* \w men|x-occurrence="1" x-occurrences="1"\w* \w told|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w others|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w happened|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="2"\w* \w they|x-occurrence="1" x-occurrences="2"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w walking|x-occurrence="1" x-occurrences="1"\w* \w along|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w road|x-occurrence="1" x-occurrences="1"\w*. \w They|x-occurrence="1" x-occurrences="1"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w told|x-occurrence="2" x-occurrences="2"\w* \w them|x-occurrence="1" x-occurrences="2"\w* \w how|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="2" x-occurrences="2"\w* \w both|x-occurrence="1" x-occurrences="1"\w* \w recognized|x-occurrence="1" x-occurrences="1"\w* \w Jesus|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="2" x-occurrences="2"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w broke|x-occurrence="1" x-occurrences="1"\w* \w some|x-occurrence="1" x-occurrences="1"\w* \w bread|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p