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