rule=Rule
constant=Constant