> I've moved the definitions to the rule types (and let the instance > inherit from one type only), and it looks right now. what's right, in this context? i.e. did you expect the reentrancy? Ann