In “لَيْتَ النَّهْرَ جَارٍ,” what properly flows?

Four Types of Rational Figurative Predication: Quranic and Nondeclarative Examples