[rules-users] Iterative diagnosis - how to determine what is the next best fact?