diff --git a/examples2/rte/rte_lisp.xml b/examples2/rte/rte_lisp.xml
new file mode 100644
index 0000000000000000000000000000000000000000..4358f695f8ffb1b611a51619ad8b5a7249cc13a2
--- /dev/null
+++ b/examples2/rte/rte_lisp.xml
@@ -0,0 +1,36 @@
+<?xml version="1.0"?>
+<FormalRTE>
+	<alphabet>
+		<RankedSymbol> <String>cons</String> <UnsignedLong>2</UnsignedLong> </RankedSymbol>
+		<RankedSymbol> <String>int</String>  <UnsignedLong>0</UnsignedLong> </RankedSymbol>
+		<RankedSymbol> <String>nil</String>  <UnsignedLong>0</UnsignedLong> </RankedSymbol>
+	</alphabet>
+
+	<substSymbolAlphabet>
+		<RankedSymbol> <String>S1</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol>
+		<RankedSymbol> <String>S2</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol>
+	</substSymbolAlphabet>
+
+	<substitution>
+		<RankedSymbol> <String>S1</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol>
+
+		<substitution>
+			<RankedSymbol> <String>S2</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol>
+
+			<iteration>
+				<RankedSymbol> <String>S2</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol>
+
+				<symbol>
+					<RankedSymbol> <String>cons</String> <UnsignedLong>2</UnsignedLong> </RankedSymbol>
+
+					<substSymbol> <RankedSymbol> <String>S1</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> </substSymbol>
+					<substSymbol> <RankedSymbol> <String>S2</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol> </substSymbol>
+				</symbol>
+			</iteration>
+
+			<symbol><RankedSymbol> <String>nil</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol></symbol>
+		</substitution>
+
+		<symbol><RankedSymbol> <String>int</String> <UnsignedLong>0</UnsignedLong> </RankedSymbol></symbol>
+	</substitution>
+</FormalRTE>