#axiom
I(1,1)
#rules
I(a,b) : a == 1; b <= 5 -> R(1)I(1, b + 1)
I(a,b) : a == 2; b <= 2 -> R(1)I(1, b + 1)

R(a) : a < 5 -> R(a+0.15)
#end rules