PanLinx
русский
rus-000
позитивная секвенция
English
eng-000
positive sequent
PanLex
