Symbol: add_rule