I gave a talk within the workshop on how the synthesis of logic and equipment Studying, especially parts including statistical relational learning, can empower interpretability.Weighted model counting usually assumes that weights are only specified on literals, usually necessitating the need to introduce auxillary variables. We contemplate a fresh