How does the principle of rule induction apply to the case simultaneous inductive definitions?

Same as for Iterated inductive definition, just that we simultaneously handle more than one properties for more than one judgment forms.