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