PanLinx
English
eng-000
enlarged contraposition
русский
rus-000
расширенная контрапозиция
PanLex