#axiom
l(1)
#rules
l(a) : a>= 1 -> l(0)r(1)
r(a) : a>= 1 -> L(1)r(0) 
l(a) : a< 1 -> l(a+0.1)
r(a) : a< 1 -> r(a+0.1)
#end rules