PanLinx
English
eng-000
induction proposition
русский
rus-000
индукционное предложение
PanLex