Steps lead down to caves for snorkeling.
The steps leading down to the caves are slippery.
mnli hypothesis: The steps leading down to the caves are slippery. premise: Steps lead down to caves for snorkeling.