<?xml version="1.0" ?> <test> <statechart> <semantics/> <root> <state id="a"/> </root> <!-- not allowed: more than one root state --> <root> <state id="b"/> </root> </statechart> <output> </output> </test>