PanLinx
русский
rus-000
индукционный предикат
English
eng-000
induction predicate
PanLex