adding implication and generalization engine code
adding implication and generalization engine code