PanLinx
English
eng-000
nonequivalence operation
PanLex