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