PanLinx
русский
rus-000
экзистенциальное подтверждение
English
eng-000
existential instantiation
PanLex