Implemented predicate invocation context
Formalised predicate invocation