PanLinx
беларуская
bel-000
лагічная выснова
русский
rus-000
логическое следствие
PanLex