PanLinx
English
eng-000
variably strict conditional
русский
rus-000
переменно строгая импликация
PanLex