Symbol: rule_match_and