PanLinx
русский
rus-000
альтернирующая импликация
English
eng-000
alternating implication
PanLex
