\v=8
\v~=\w The|x-occurrence="1" x-occurrences="1"\w* \w wind|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="1" x-occurrences="2"\w* \w still|x-occurrence="1" x-occurrences="1"\w* \w strong|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="2"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w prevented|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w ship|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w moving|x-occurrence="1" x-occurrences="1"\w* \w ahead|x-occurrence="1" x-occurrences="1"\w* \w fast|x-occurrence="1" x-occurrences="1"\w*. \w So|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="1" x-occurrences="2"\w* \w moved|x-occurrence="1" x-occurrences="1"\w* \w slowly|x-occurrence="1" x-occurrences="1"\w* \w along|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w coast|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w Crete|x-occurrence="1" x-occurrences="1"\w*, \w and|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="1"\w* \w a|x-occurrence="1" x-occurrences="1"\w* \w town|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w was|x-occurrence="2" x-occurrences="2"\w* \w called|x-occurrence="1" x-occurrences="1"\w* \w Fair|x-occurrence="1" x-occurrences="1"\w* \w Havens|x-occurrence="1" x-occurrences="1"\w*, \w near|x-occurrence="1" x-occurrences="1"\w* \w Lasea|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p