\v=5
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w David|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="2"\w* \w all|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w house|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Israel|x-occurrence="1" x-occurrences="1"\w* \w began|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w play|x-occurrence="1" x-occurrences="1"\w* \w before|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="1" x-occurrences="1"\w*, \w celebrating|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w wooden|x-occurrence="1" x-occurrences="1"\w* \w instruments|x-occurrence="1" x-occurrences="1"\w*, \w harps|x-occurrence="1" x-occurrences="1"\w*, \w lyres|x-occurrence="1" x-occurrences="1"\w*, \w tambourines|x-occurrence="1" x-occurrences="1"\w*, \w rattles|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="2" x-occurrences="2"\w* \w cymbals|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p