A Formal Semantics of Influence in Bayesian Reasoning | Synapse