\v=37
\v~=\w Its|x-occurrence="1" x-occurrences="1"\w* \w portico|x-occurrence="1" x-occurrences="1"\w* \w faced|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w outer|x-occurrence="1" x-occurrences="1"\w* \w courtyard|x-occurrence="1" x-occurrences="1"\w*. \w It|x-occurrence="1" x-occurrences="1"\w* \w also|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="2"\w* \w carvings|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w palm|x-occurrence="1" x-occurrences="1"\w* \w trees|x-occurrence="1" x-occurrences="1"\w* \w decorating|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w walls|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="2"\w* \w had|x-occurrence="2" x-occurrences="2"\w* \w eight|x-occurrence="1" x-occurrences="1"\w* \w steps|x-occurrence="1" x-occurrences="1"\w* \w leading|x-occurrence="1" x-occurrences="1"\w* \w up|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p