Correct Answer : Option (C) :   Substitutes matching the query

Explanation : It will contains the list of goals containing a single element and returns the set of all substitutions satisfying the query.