enl:mutual inductionenhttps://en-word.net/lemma/mutual_induction#mutual_induction-n-lemmaOntolex unitsontolex:written representationmutual induction↓ download data as: .ttl