expr -> x, rule -> fn