PanLinx
русский
rus-000
контингенция множества
English
eng-000
set contingency
PanLex