Extracting M-of-N rules from trained neural networks | Synapse