Propositional Logic for Probing Generalization in Neural Networks