\v=9
\v~=\w against|x-occurrence="1" x-occurrences="1"\w* \w Chedorlaomer|x-occurrence="1" x-occurrences="1"\w* {\w who|x-occurrence="1" x-occurrences="4"\w* \w was|x-occurrence="1" x-occurrences="4"\w*} \w the|x-occurrence="1" x-occurrences="10"\w* \w king|x-occurrence="1" x-occurrences="4"\w* \w over|x-occurrence="1" x-occurrences="4"\w* {\w the|x-occurrence="2" x-occurrences="10"\w* \w land|x-occurrence="1" x-occurrences="2"\w* \w of|x-occurrence="1" x-occurrences="3"\w*} \w Elam|x-occurrence="1" x-occurrences="1"\w*, \w Tidal|x-occurrence="1" x-occurrences="1"\w* {\w who|x-occurrence="2" x-occurrences="4"\w* \w was|x-occurrence="2" x-occurrences="4"\w*} \w the|x-occurrence="3" x-occurrences="10"\w* \w king|x-occurrence="2" x-occurrences="4"\w* \w over|x-occurrence="2" x-occurrences="4"\w* \w the|x-occurrence="4" x-occurrences="10"\w* \w Goyim|x-occurrence="1" x-occurrences="1"\w*, \w Amraphel|x-occurrence="1" x-occurrences="1"\w* {\w who|x-occurrence="3" x-occurrences="4"\w* \w was|x-occurrence="3" x-occurrences="4"\w*} \w the|x-occurrence="5" x-occurrences="10"\w* \w king|x-occurrence="3" x-occurrences="4"\w* \w over|x-occurrence="3" x-occurrences="4"\w* {\w the|x-occurrence="6" x-occurrences="10"\w* \w land|x-occurrence="2" x-occurrences="2"\w* \w of|x-occurrence="2" x-occurrences="3"\w*} \w Shinar|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="2"\w* \w Arioch|x-occurrence="1" x-occurrences="1"\w* {\w who|x-occurrence="4" x-occurrences="4"\w* \w was|x-occurrence="4" x-occurrences="4"\w*} \w the|x-occurrence="7" x-occurrences="10"\w* \w king|x-occurrence="4" x-occurrences="4"\w* \w over|x-occurrence="4" x-occurrences="4"\w* {\w the|x-occurrence="8" x-occurrences="10"\w* \w kingdom|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="3" x-occurrences="3"\w*} \w Ellasar|x-occurrence="1" x-occurrences="1"\w*. {\w Then|x-occurrence="1" x-occurrences="1"\w*} \w the|x-occurrence="9" x-occurrences="10"\w* \w four|x-occurrence="1" x-occurrences="1"\w* \w kings|x-occurrence="1" x-occurrences="2"\w* \w attacked|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="10" x-occurrences="10"\w* \w five|x-occurrence="1" x-occurrences="1"\w* {\w kings|x-occurrence="2" x-occurrences="2"\w*} {\w and|x-occurrence="2" x-occurrences="2"\w* \w started|x-occurrence="1" x-occurrences="1"\w* \w defeating|x-occurrence="1" x-occurrences="1"\w* \w them|x-occurrence="1" x-occurrences="1"\w*}.
\¬v
\¬p