\v=3
\v~=\w We|x-occurrence="1" x-occurrences="2"\w* \w traveled|x-occurrence="1" x-occurrences="1"\w* \w over|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="8"\w* \w sea|x-occurrence="1" x-occurrences="1"\w* \w until|x-occurrence="1" x-occurrences="2"\w* \w we|x-occurrence="1" x-occurrences="2"\w* \w could|x-occurrence="1" x-occurrences="1"\w* \w see|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="8"\w* \w Island|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="5"\w* \w Cyprus|x-occurrence="1" x-occurrences="1"\w*. \w We|x-occurrence="2" x-occurrences="2"\w* \w passed|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="1" x-occurrences="3"\w* \w the|x-occurrence="3" x-occurrences="8"\w* \w south|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="2" x-occurrences="5"\w* \w the|x-occurrence="4" x-occurrences="8"\w* \w island|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w continued|x-occurrence="1" x-occurrences="1"\w* \w sailing|x-occurrence="1" x-occurrences="1"\w* \w until|x-occurrence="2" x-occurrences="2"\w* \w we|x-occurrence="2" x-occurrences="2"\w* \w arrived|x-occurrence="1" x-occurrences="1"\w* \w at|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="5" x-occurrences="8"\w* \w region|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="3" x-occurrences="5"\w* \w Phoenicia|x-occurrence="1" x-occurrences="1"\w*, \w in|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="6" x-occurrences="8"\w* \w province|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="4" x-occurrences="5"\w* \w Syria|x-occurrence="1" x-occurrences="1"\w*, \w at|x-occurrence="2" x-occurrences="2"\w* \w the|x-occurrence="7" x-occurrences="8"\w* \w city|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="5" x-occurrences="5"\w* \w Tyre|x-occurrence="1" x-occurrences="1"\w*. \w The|x-occurrence="1" x-occurrences="1"\w* \w ship|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="1"\w* \w going|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="3"\w* \w stay|x-occurrence="1" x-occurrences="1"\w* \w there|x-occurrence="1" x-occurrences="1"\w* \w several|x-occurrence="1" x-occurrences="1"\w* \w days|x-occurrence="1" x-occurrences="1"\w* \w because|x-occurrence="1" x-occurrences="1"\w* \w its|x-occurrence="1" x-occurrences="1"\w* \w workers|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="3"\w* \w unload|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="8" x-occurrences="8"\w* \w cargo|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p