A diving permit is required under Spanish law.
No driving permits are required by Spanish law.
mnli hypothesis: No driving permits are required by Spanish law. premise: A diving permit is required under Spanish law.