PanLinx
беларуская
bel-000
выказванняў злічэнне
русский
rus-000
высказываний исчисление
PanLex