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