PanLinx
English
eng-000
completely formalized
русский
rus-000
полностью формализованный
PanLex