PanLinx
English
eng-000
Herbrand interpretation
普通话
cmn-000
海尔勃朗解释
PanLex