PanLinx
English
eng-000
weak-star closure
PanLex