#ignore + -
#axiom
C(1,3)F(0)G
#rules
C(a,b) > F(x) : b<3 -> C(a,b+1)
C(a,b) > F(x) : b>=3 -> #stochastic
p=6 C(1,0)
p=2 C(2,0)
p=1 C(3,0)
#stochastic end
C(a,b) < F(x) : b>=3 -> F(a)
F(x) : x>0 -> F(0)
F(x) < F(y) : x>0 -> F(x)
F(x) < G : x==1 -> F(0)[+B]G
F(x) < B : x==2 -> #stochastic
p=3 B
p=1 G
#stochastic end
F(x) < G : x==3 -> F(x)W
#end rules