printing predicates
add demo