PanLinx
русский
rus-000
полная непротиворечивость
English
eng-000
total consistency
PanLex