Complete get_wolfram_rules.