PanLinx
русский
rus-000
канонический вывод
English
eng-000
canonical derivation
PanLex
