diff --git a/in/Example.relast b/in/Example.relast
new file mode 100644
index 0000000000000000000000000000000000000000..c288fd84cc8834b71a8190e6b0e708a988997b6b
--- /dev/null
+++ b/in/Example.relast
@@ -0,0 +1,11 @@
+
+
+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;