← wheels · library

अन्यतः

anyataḥ · taddhita

anyataḥ: machine-confirmed. Derivation cites 5.3.7, 8.2.66, 8.3.15, 8.4.68.

Meaning

source: tasil (thesis table misprints anyatha; machine: anyatah)

Alternative machine surfaces: anyataḥ

Verification

statusDERIVED
verdictAGREE — machine-confirmed
machine rules5.3.7, 8.2.66, 8.3.15, 8.4.68
teaching ref5.3.7
full derivation (26 steps)
sūtratextafter
1.2.45arthavad adhātur apratyayaḥ prātipadikamanya
1.1.27sarva-ādīni sarvanāmānianya
5.3.7pañcamyās tasilanya + tasim̐l
1.3.2upadeśe 'j-anunāsika itanya + tasim̐l
1.3.3hal-antyamanya + tasim̐l
1.3.9tasya lopaḥanya + tas
1.2.46kṛt-taddhita-samāsāś caanya + tas
1.1.27sarva-ādīni sarvanāmānianya + tas
1.1.38taddhitaś ca asarva-vibhaktiḥanya + tas
4.1.2sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-supanya + tas + sum̐
1.3.2upadeśe 'j-anunāsika itanya + tas + sum̐
1.3.9tasya lopaḥanya + tas + s
1.1.27sarva-ādīni sarvanāmānianya + tas + s
1.1.43suḍ anapuṃsakasyaanya + tas + s
1.1.38taddhitaś ca asarva-vibhaktiḥanya + tas + s
2.4.82avyayād āp-supaḥanya + tas +
1.1.27sarva-ādīni sarvanāmānianya + tas +
1.1.43suḍ anapuṃsakasyaanya + tas +
1.1.38taddhitaś ca asarva-vibhaktiḥanya + tas +
1.4.13yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgamanya + tas +
1.4.17svādiṣv a-sarvanamasthāneanya + tas +
1.4.14sup-tiṅ-antaṃ padamanya + tas +
8.2.66sa-sajuṣo ruḥanya + tarum̐ +
1.3.2upadeśe 'j-anunāsika itanya + tar +

Trace is Vidyut 0.4.0 machine output, unreviewed. Cross-check source: crosscheck.json.

Certificate

a5fb74217f095d77c05c81496794ef7aef47da336d82b10e0bb5df0a99b56008 — trace pinned (tier-2 recompute passes). Structure: 26 steps, rule set 240a0fab6c3d789e…. Lean: checked (4.34.1 — structural check over the rule inventory, receipt-bound; NOT a derivation from the Aṣṭādhyāyī and not a claim about meaning).

In scripture

Lessons: l05-ma-kimcit

What this does not establish

Cite

https://svatantrya.net/a/anyatah/ — Svatantrya grammar pack, form anya-tasil.

Provenance: wheel-pack.json · harness.json