PanLinx
English
eng-000
elementary disjunction
русский
rus-000
элементарная дизъюнкция
PanLex