Tafsir of Ad-Dukhan 44:52

It is a substitute for { a secure place }, either by repeating the preposition or by the prepositional phrase being a substitute for the prepositional phrase. The prepositional "in" (fi) denotes container-like enclosure. The mention of "springs" is for proximity. The manifest [meaning] is that it is a substitution of inclusion (badal ishtimal), not a substitution of a part for the whole (badal kull min ba’d). In this, there is an indication of the pleasantness of their abode and its inclusion of what is enjoyed of foods and drinks.