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