Extracting refined rules from knowledge-based neural networks