vipakṣaikadeśavṛttiḥ sapakṣavyāpī (anaikāntikahetvābhāsa)
NPra 3. 2. 2. 4: vipakṣaikadeśavṛttiḥ sapakṣavyāpī yathā /
prayatnānantarīyakaḥ śabdo 'nityatvāt /
prayatnānantarīyakaḥ pakṣaḥ / asya ghaṭādiḥ sapakṣaḥ / tatra sarvatra ghaṭādau vidyate 'nityatvam / prayatnānantarīyakaḥ pakṣaḥ / asya vidyudākāśādir vipakṣaḥ / tatraikadeśe vidyudādau vidyate 'nityatvaṃ nākāśādau / tasmād etad api vidyudghaṭasādharmyeṇa pūrvavad anaikāntikam //
HTU 39: tathā
śabdasyāprayatnānantarīyakatve sādhye
'nityatvād iti hetuḥ /
sapakṣaikadeśavṛttir vipakṣavyāpy anaikāntikaḥ // aprayatnānantarīya[ka]ḥ śabdasya vidyudākāśādiḥ sapakṣaḥ tatraikadeśe vidyudādau vartate 'nityatvaṃ nākāśādau / prayatnāntarīyakaḥ punaḥ sarvo ghaṭādir vipakṣaḥ / tatra sarvatra vartate //
TSop 3.12: tatra
prayatnānantarīyakaḥ śabdo 'nityatvād ghaṭavad ity
ayaṃ vipakṣaikadeśavṛttiḥ / vidyuti vartamānatvād ākāśādāv avartamānatvāt sapakṣavyāpī tu bhavaty eva / sarvasya prayatnānantarīyakasyānityatvāt / |