Example.relast

StateMachine ::= Element*;
abstract Element ::= <Label:String>;
State : Element ::=;
Transition : Element ::=;

rel StateMachine.initial -> State;
rel StateMachine.final* -> State;
rel State.outgoing* <-> Transition.from;
rel State.incoming* <-> Transition.to;