PanLinx
русский
rus-000
корректная формализация
English
eng-000
correct formalization
PanLex