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