ls(W1,W2)是(W1,W2)的最近共有祖先。P(W)是单词W在特定本体库中出现的概率