A Knowledge Representation System for Integration of General and Case-Specific Knowledge