Commit 45552a0c authored by David Rouquet's avatar David Rouquet

Add unl example in standard unl format

parent 39eecd10
[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]
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment