Téléverser un nouveau fichier

Examples/exemples_unl.txt

+[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] 
+