PanLinx
русский
rus-000
исключение избыточной связи
English
eng-000
removal of redundant constraint
PanLex