n rule to conclude Implication is_Fluffy is_cat PLN supports a variety of quantifiers, including traditional crisp and fuzzy quantifiers, 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 imp