From 1fa1f3a4e826b2db1c571764b1ca7a5aee1085da Mon Sep 17 00:00:00 2001
From: sebastien curt <sebastien.curt@tetras-libre.fr>
Date: Mon, 25 May 2020 11:48:20 +0200
Subject: [PATCH] add exemples for cat and r1
---
Examples/cat.txt | 15 +++++++++++++++
Examples/r1.txt | 18 ++++++++++++++++++
2 files changed, 33 insertions(+)
create mode 100644 Examples/cat.txt
create mode 100644 Examples/r1.txt
diff --git a/Examples/cat.txt b/Examples/cat.txt
new file mode 100644
index 0000000..b933235
--- /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 0000000..edec43e
--- /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]
+
--
GitLab