pub fn extract_probabilistic_semantics(expr: &TLExpr) -> Vec<(f64, TLExpr)>
Extract probabilistic semantics from weighted rules.
Converts weighted rules into probability distributions over possible worlds.