PanLinx
русский
rus-000
примитивный вывод
English
eng-000
primitive inference
PanLex
