ers, plus the AverageQuantifier defined so that the truth value of AverageQuantifter X F(X) is a weighted average of F(X) over all relevant inputs X. AverageQuantifier is used implicitly in PLN to handle logical relationships between predicates, so that e.g. the conclusion of the above deduction is implicitly inte