PanLinx
English
eng-000
end sequent
русский
rus-000
конечная секвенция
PanLex
