結果 : logic predicate examples