diff --git a/exemple-unl.txt b/exemple-unl.txt new file mode 100644 index 0000000000000000000000000000000000000000..49e1dc3345468ed2ea30b195f68c7f1ee1cf3f39 --- /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] +