mnli premise: If you're on a coach tour, you will probably stop at the excellent Ein Gedi Spa and get your chance to float on the Dead Sea. hypothesis: Coach tours usually stop at the Ein Gedi Spa so visitors can float on the Dead Sea.