A root definition has the form
The elaboration of a specification is the elaboration of the members M1, ..., Mn.