結果 : first order predicate logic with generalized quantifiers