PanLinx
English
eng-000
explicit definability
русский
rus-000
явная определимость
PanLex
