PanLinx
русский
rus-000
дедуктивная выводимость
English
eng-000
deductive inferability
PanLex