Added Predicates
Binding for variables