結果 : predicate notation rule method set builder notation