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