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