PanLinx
English
eng-000
formal consequence
русский
rus-000
формальное следствие
PanLex