However, humans find these sentences to be quite similar.
we introduce a new averaging interpretation of conjunction that we use for the hypothesis H. The truth value for a conjunction is defined as This averaging function is linear, and the result is a valid truth value in the interval [0, 1], therefore this change is easily incorporated into PSL without changing the complexity of inference which remains a linear-programming problem.