\v=26
\v~=\w David|x-occurrence="1" x-occurrences="2"\w* \w built|x-occurrence="1" x-occurrences="1"\w* \w an|x-occurrence="1" x-occurrences="1"\w* \w altar|x-occurrence="1" x-occurrences="3"\w* \w to|x-occurrence="1" x-occurrences="4"\w* \w worship|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="1" x-occurrences="4"\w* \w there|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="3"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w offered|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="1" x-occurrences="3"\w* \w altar|x-occurrence="2" x-occurrences="3"\w* \w fully|x-occurrence="1" x-occurrences="1"\w* \w burnt|x-occurrence="1" x-occurrences="1"\w* \w sacrifices|x-occurrence="1" x-occurrences="2"\w* \w and|x-occurrence="2" x-occurrences="3"\w* \w sacrifices|x-occurrence="2" x-occurrences="2"\w* \w to|x-occurrence="2" x-occurrences="4"\w* \w restore|x-occurrence="1" x-occurrences="1"\w* \w fellowship|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w Yahweh|x-occurrence="2" x-occurrences="4"\w*. \w David|x-occurrence="2" x-occurrences="2"\w* \w prayed|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="4"\w* \w Yahweh|x-occurrence="3" x-occurrences="4"\w*, \w and|x-occurrence="3" x-occurrences="3"\w* \w Yahweh|x-occurrence="4" x-occurrences="4"\w* \w answered|x-occurrence="1" x-occurrences="1"\w* \w by|x-occurrence="1" x-occurrences="1"\w* \w sending|x-occurrence="1" x-occurrences="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w fire|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w heaven|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="4" x-occurrences="4"\w* \w burn|x-occurrence="1" x-occurrences="1"\w* \w up|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w offerings|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="3" x-occurrences="3"\w* \w altar|x-occurrence="3" x-occurrences="3"\w*.
\¬v
\¬p