Summarize Specific Logic As Generalized Logic