結果 : first order logic quantifiers