Do you have any thoughts on the advantage or disadvantage of instantiating multiple instances with the location of the variable specified, versus a design where the rule automatically attempts all those combinations based on the arity of the predicate?