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] 

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