\v=10
\v~=\w he|x-occurrence="1" x-occurrences="1"\w* \w sent|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="2"\w* \w son|x-occurrence="1" x-occurrences="1"\w* \w Hadoram|x-occurrence="1" x-occurrences="2"\w* \w to|x-occurrence="1" x-occurrences="3"\w* \w King|x-occurrence="1" x-occurrences="1"\w* \w David|x-occurrence="1" x-occurrences="2"\w*, \w to|x-occurrence="2" x-occurrences="3"\w* \w greet|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="1" x-occurrences="3"\w* \w congratulate|x-occurrence="1" x-occurrences="1"\w* \w him|x-occurrence="2" x-occurrences="2"\w* \w about|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="2" x-occurrences="2"\w* \w fighting|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="2" x-occurrences="3"\w* \w defeating|x-occurrence="1" x-occurrences="1"\w* \w Hadadezer|x-occurrence="1" x-occurrences="2"\w*’\w s|x-occurrence="1" x-occurrences="3"\w* \w army|x-occurrence="1" x-occurrences="2"\w* \w because|x-occurrence="1" x-occurrences="1"\w* \w Tou|x-occurrence="1" x-occurrences="1"\w*’\w s|x-occurrence="2" x-occurrences="3"\w* \w army|x-occurrence="2" x-occurrences="2"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w been|x-occurrence="1" x-occurrences="1"\w* \w fighting|x-occurrence="2" x-occurrences="2"\w* \w Hadadezer|x-occurrence="2" x-occurrences="2"\w*’\w s|x-occurrence="3" x-occurrences="3"\w*. \w Hadoram|x-occurrence="2" x-occurrences="2"\w* \w brought|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="3"\w* \w David|x-occurrence="2" x-occurrences="2"\w* \w many|x-occurrence="1" x-occurrences="1"\w* \w items|x-occurrence="1" x-occurrences="1"\w* \w made|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w gold|x-occurrence="1" x-occurrences="1"\w*, \w silver|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="3" x-occurrences="3"\w* \w bronze|x-occurrence="1" x-occurrences="1"\w*,
\¬v
\¬p