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