Anfonwch hwn fel neges destun: Commutative semantics for probabilistic programming