Analyzes execution traces (successes and failures) to generate rule-enriched descriptions. Uses Explanation-Based Learning (EBL) to extract rules from traces and incorporate them into tool descriptions.