Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions | Read Paper on Bytez