\p
\v=28
\v~=\w A|x-occurrence="1" x-occurrences="1"\w* \w group|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w priests|x-occurrence="1" x-occurrences="1"\w* \w repaired|x-occurrence="1" x-occurrences="2"\w* {\w the|x-occurrence="1" x-occurrences="3"\w* \w wall|x-occurrence="1" x-occurrences="1"\w*} \w starting|x-occurrence="1" x-occurrences="1"\w* \w at|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="3"\w* \w Horse|x-occurrence="1" x-occurrences="1"\w* \w Gate|x-occurrence="1" x-occurrences="1"\w*. \w Each|x-occurrence="1" x-occurrences="1"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w repaired|x-occurrence="2" x-occurrences="2"\w* {\w the|x-occurrence="3" x-occurrences="3"\w* \w section|x-occurrence="1" x-occurrences="1"\w*} \w in|x-occurrence="1" x-occurrences="1"\w* \w front|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w own|x-occurrence="1" x-occurrences="1"\w* \w house|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p