(From mid-April to October, boats run daily from Alicante and Santa Pola, whence the sea voyage takes half as long.
From mid-April to October, boats do not run from Alicante and Santa Pola.
mnli hypothesis: From mid-April to October, boats do not run from Alicante and Santa Pola. premise: (From mid-April to October, boats run daily from Alicante and Santa Pola, whence the sea voyage takes half as long.