PanLinx
English
eng-000
first-class constraint
PanLex