rule-ref ( term , , ) rule-assign