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