PanLinx
普通话
cmn-000
谓词演算合格公式
Hànyǔ
cmn-003
wèi cí yǎn suàn hé gé gōng shì
PanLex