Add <-- binding for the entire fact being considerd in a condition.