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