PanLinx
русский
rus-000
дедуктивно равный
English
eng-000
interdeducible
PanLex