PanLinx
русский
rus-000
импликационный
English
eng-000
implicational
PanLex