@ rule1 @ expression E; @@ h(E); @ rule2 extends rule1 @ @@ - i(E);