PanLinx
русский
rus-000
открытое допущение
English
eng-000
open assumption
PanLex