VLROOT Statechart(StateList(Substate*),TransitionList(Transition*)) {
  PERS Name: VLString EDITWITH ENTRY;
}

ABSTRACT Substate {}

VLRULE SimpleState() ACTS AS Substate {
  PERS Name: VLString EDITWITH ENTRY;
  PERS Endpoint: DEFTABLEKEY;
}

VLRULE XORSuperstate(XORName(),XORSubstates(Substate*)) ACTS AS Substate {
  PERS Endpoint: DEFTABLEKEY;
  PERS Name: VLString EDITWITH ENTRY;
}

VLRULE ANDSuperstate(ANDName(),ANDRegions(ANDRegion{2})) ACTS AS Substate {
  PERS Endpoint: DEFTABLEKEY;
  PERS Name: VLString EDITWITH ENTRY;
}

VLRULE ANDRegion(Substate*) {}

VLRULE Transition(TransitionLabel()) {
  PERS From: DEFTABLEKEY;
  PERS To: DEFTABLEKEY;
  PERS Event: VLString EDITWITH ENTRY;
}