Fixed some typos in the rules, added additional condition summarization semantics to the summarize rule