对于类LaWff，增加了一个evaluate(self, valueMap)的方法来求值，valueMap是一个命题符号映射到布尔值的dict。