RelEx2Logic clean-up-inst implementation

Specified in http://wiki.opencog.org/w/RelEx2Logic#Cleaning_Up_Instances

I am curious as to what is the answer to this.

What is the relation between evaluating a PredicateNode, and the instance requirement?