This backward chaining goal is only relevant when writing a meta-interpreter for a context. It binds variable to the list of all existing rule instantiations in the currently executing context. This list is in the order preferred by the conflict resolution strategy for the context.