PanLinx
русский
rus-000
экзистенциальная конкретизация
English
eng-000
existential specification
PanLex
