\p
\v=26
\v~=\w Solomon|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w forty|x-occurrence="1" x-occurrences="1"\w* \w thousand|x-occurrence="1" x-occurrences="2"\w* \w stalls|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w horses|x-occurrence="1" x-occurrences="2"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w pulled|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w chariots|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w twelve|x-occurrence="1" x-occurrences="1"\w* \w thousand|x-occurrence="2" x-occurrences="2"\w* \w men|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w rode|x-occurrence="1" x-occurrences="1"\w* \w on|x-occurrence="1" x-occurrences="1"\w* \w horses|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p