Machine-Interpretable Rule Systems