PanLinx
русский
rus-000
аксиоматическое ограничение
English
eng-000
axiomatic constraint
PanLex