PanLinx
русский
rus-000
кратная дизъюнкция
English
eng-000
multiple disjunction
PanLex