From 45552a0cc716b6a8819b6aaa54a57d94ca5bcedf Mon Sep 17 00:00:00 2001
From: David Rouquet <david.rouquet@tetras-libre.fr>
Date: Sun, 10 May 2020 19:05:56 +0200
Subject: [PATCH] Add unl example in standard unl format
---
exemple-unl.txt | 34 ++++++++++++++++++++++++++++++++++
1 file changed, 34 insertions(+)
create mode 100644 exemple-unl.txt
diff --git a/exemple-unl.txt b/exemple-unl.txt
new file mode 100644
index 0000000..49e1dc3
--- /dev/null
+++ b/exemple-unl.txt
@@ -0,0 +1,34 @@
+[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]
+
+[S:R2]
+{org:en}
+The system displays a channel in green when it is in broadcast state.
+{/org}
+{unl}
+agt(display(icl>show,equ>exhibit,agt>thing,obj>thing).@entry.@present,system(icl>group).@def)
+mod(channel(icl>radiowave).@indef,green(icl>adj,iof>color))
+obj(display(icl>show,equ>exhibit,agt>thing,obj>thing).@entry.@present,channel(icl>radiowave).@indef)
+tim(display(icl>show,equ>exhibit,agt>thing,obj>thing).@entry.@present,when(icl>how,com>always,tim<uw,obj>uw))
+aoj:01(be_in_a_state(aoj>thing,icl>be,obj>state).@entry.@present,channel(icl>radiowave).@indef)
+plc:01(state(icl>attribute),broadcast(icl>message))
+obj:01(be_in_a_state(aoj>thing,icl>be,obj>state).@entry.@present,state(icl>attribute))
+obj(when(icl>how,com>always,tim<uw,obj>uw),:01)
+{/unl}
+[/S]
+[/D]
+
--
GitLab