Mīmāmsa Sūtra 01.01.26

लोके सन्नियमात् प्रयोगसन्निकर्षः स्यात् ॥१-१-२६॥

loke sanniyamāt prayoga-sannikarṣaḥ syāt ॥1-1-26॥

[लोके (loke) - in the world; सन्नियमात् (sanniyamāt) - from restriction; प्रयोगसन्निकर्षः (prayoga-sannikarṣaḥ) - application-contact; स्यात् (syāt) - would be;]

(In the world, from restriction, application-contact would be.)

In the world, application-contact arises from restriction.