PanLinx
русский
rus-000
малая полнота
English
eng-000
small completeness
PanLex