四分律刪補隨機羯磨 1.185

1.185

(There are three kinds of saṃghārāma: if the mahāsīmā is equal to the saṃghārāma, or if the boundary is smaller than the saṃghārāma, neither needs to be bound. If the boundary is larger than the saṃghārāma, one binds it according to the rule, and robes are protected in accordance with the boundary. However, there are karman formulas that prescribe binding it without villages. If one refers to the vinaya text, one first binds the robe boundary, protecting robes within villages, and only later, when an incident arose, were villages excluded. Now we establish a single general rule: regardless of whether there is a village or no village, it must naturally be excluded. The Sarvāstivāda Treatise directly establishes this principle: when villages appear, they are excluded for five reasons. If there were no villages previously, and after performing the procedure to bind it, dwellings of pure persons or external villages enter, wherever they extend is not part of the robe boundary. If the original village moves away, the robe boundary still includes it. If there was a village previously, while the village remains it is not included; when the village leaves and the land is empty, the robe boundary becomes complete again. This is because villages come and go, not because of binding or releasing. This intention is present throughout the Mahīśāsaka-vinaya.)