PanLinx
русский
rus-000
экзистенциально определимый
English
eng-000
existentially definable
PanLex