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