Constructive Theory Re � nement in Knowledge Based Neural Networks