[Sorry, Sebastian or whomever else, but I don't have time to delve more deeply into this right now. I will try to look into it further early next week if you haven't already.] When I process the attached ODD file using either commandline roma (against the SF development stylesheets and Guidelines) or Roma the website (against current released versions, I presume), I find that only the <constraintSpec>s inside <elementSpec>, <attDef>, and <schemaSpec> make it to the compiled ODD (i.e., those in <classSpec> and <macroSpec> are dropped). Further, only those in <elementSpec> and <attDef> make it from the compiled ODD into the .rng file (i.e. the one in <schemaSpec> is dropped); all three make it into the .isosch file.