PanLinx
русский
rus-000
условная импликация
English
eng-000
conditional implication
PanLex
