Added an example section to the DML page, and a new page with documentation of the Consistency Predicates