PanLinx
English
eng-000
upper sequent
русский
rus-000
верхняя секвенция
PanLex
