結果 : inference rules for quantifiers in ai