diff --git a/Examples/cat.txt b/Examples/cat.txt
new file mode 100644
index 0000000000000000000000000000000000000000..b93323553a1104da403f11d5526453645ba73983
--- /dev/null
+++ b/Examples/cat.txt
@@ -0,0 +1,15 @@
+[D]
+[S:00]
+{org:en}
+The black cat and the white cat are eating.
+{/org}
+{unl}
+mod:01(cat(icl>feline>thing):01.@entry.@def,black(icl>adj))
+and:01(cat(icl>feline>thing):01.@entry.@def,cat(icl>feline>thing):02.@entry.@def)
+mod:01(cat(icl>feline>thing):02.@entry.@def,white(icl>adj))
+agt(eat(icl>consume>do,agt>living_thing,obj>concrete_thing,ins>thing).@entry.@pl.@present.@progress,:01.@_hn-scope)
+{/unl}
+[/S]
+
+[/D] 
+
diff --git a/Examples/r1.txt b/Examples/r1.txt
new file mode 100644
index 0000000000000000000000000000000000000000..edec43e8b3f4205a95e9f3f8f59d5d6c29788827
--- /dev/null
+++ b/Examples/r1.txt
@@ -0,0 +1,18 @@
+[D]
+[S:R1]
+{org:en}
+The system allows a radio channel to take on two states: Listening and Traffic.
+{/org}
+{unl}
+aoj( allow(icl>be, aoj>thing, ben>thing, obj>uw, equ>make_possible).@entry, system(icl>group).@def )
+obj( allow(icl>be, aoj>thing, ben>thing, obj>uw, equ>make_possible).@entry, take_on(aoj>thing, equ>assume,icl>change, obj>thing) )
+ben( allow(icl>be, aoj>thing, ben>thing, obj>uw, equ>make_possible).@entry, channel(icl>radiowave).@indef)
+aoj( take_on(aoj>thing, equ>assume, icl>change, obj>thing), channel(icl>radiowave).@indef ) 
+obj( take_on(aoj>thing, equ>assume, icl>change, obj>thing), state(icl>attribute).@plu )   
+qua( state(icl>attribute).@plu, 2 )   
+cnt( state(icl>attribute).@plu, listening(icl>sensing) )
+and( listening(icl>sensing),traffic(icl>communication) )
+{/unl}
+[/S]
+[/D] 
+