結果 : employee predicate logic example with solution