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