PanLinx: дедуктивно-равный

русский	rus-000
дедуктивно-равный

English	eng-000	interdeductive
русский	rus-000	взаимно выводимый

PanLex-PanLinx