Summary of Predicates and Functions