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