SectionVerb { EnableSequence [ exec "Case1 enable seq" ] DisableSequence [ exec "Case2 disable seq" ] TransitionVerb."Case2" [ exec "Case1->Case2 transition seq" ] Value { TestValue1 "123" } } SectionDevice."Device1".0 { } SectionModifier."Modifier1" { SupportedDevice [ "Device1" ] }