\v=6-7
\v~=\w When|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="1" x-occurrences="3"\w* \w arrived|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="4"\w* \w Bethlehem|x-occurrence="1" x-occurrences="1"\w*, \w there|x-occurrence="1" x-occurrences="2"\w* \w was|x-occurrence="1" x-occurrences="2"\w* \w no|x-occurrence="1" x-occurrences="1"\w* \w place|x-occurrence="1" x-occurrences="3"\w* \w for|x-occurrence="1" x-occurrences="3"\w* \w them|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="4"\w* \w stay|x-occurrence="1" x-occurrences="2"\w* \w in|x-occurrence="2" x-occurrences="4"\w* \w a|x-occurrence="1" x-occurrences="3"\w* \w place|x-occurrence="2" x-occurrences="3"\w* \w where|x-occurrence="1" x-occurrences="3"\w* \w visitors|x-occurrence="1" x-occurrences="1"\w* \w usually|x-occurrence="1" x-occurrences="1"\w* \w stayed|x-occurrence="1" x-occurrences="1"\w*. \w So|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="2" x-occurrences="3"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="4"\w* \w stay|x-occurrence="2" x-occurrences="2"\w* \w in|x-occurrence="3" x-occurrences="4"\w* \w a|x-occurrence="2" x-occurrences="3"\w* \w place|x-occurrence="3" x-occurrences="3"\w* \w where|x-occurrence="2" x-occurrences="3"\w* \w animals|x-occurrence="1" x-occurrences="2"\w* \w slept|x-occurrence="1" x-occurrences="1"\w* \w overnight|x-occurrence="1" x-occurrences="1"\w*. \w While|x-occurrence="1" x-occurrences="1"\w* \w they|x-occurrence="3" x-occurrences="3"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="4"\w* \w time|x-occurrence="1" x-occurrences="1"\w* \w came|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="2" x-occurrences="3"\w* \w Mary|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="4"\w* \w give|x-occurrence="1" x-occurrences="1"\w* \w birth|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w she|x-occurrence="1" x-occurrences="1"\w* \w gave|x-occurrence="1" x-occurrences="1"\w* \w birth|x-occurrence="2" x-occurrences="2"\w* \w to|x-occurrence="4" x-occurrences="4"\w* \w her|x-occurrence="1" x-occurrences="1"\w* \w first|x-occurrence="1" x-occurrences="1"\w* \w child|x-occurrence="1" x-occurrences="1"\w*, \w a|x-occurrence="3" x-occurrences="3"\w* \w son|x-occurrence="1" x-occurrences="1"\w*. \w She|x-occurrence="1" x-occurrences="1"\w* \w wrapped|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="2"\w* \w in|x-occurrence="4" x-occurrences="4"\w* \w wide|x-occurrence="1" x-occurrences="1"\w* \w strips|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w cloth|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="2" x-occurrences="2"\w* \w laid|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="2"\w* \w down|x-occurrence="1" x-occurrences="1"\w* \w where|x-occurrence="3" x-occurrences="3"\w* \w the|x-occurrence="2" x-occurrences="4"\w* \w food|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="2" x-occurrences="2"\w* \w kept|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="3" x-occurrences="3"\w* \w the|x-occurrence="3" x-occurrences="4"\w* \w animals|x-occurrence="2" x-occurrences="2"\w* \w inside|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="4" x-occurrences="4"\w* \w barn|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p