#axiom B #rules B -> #stochastic p=3 FB p=1 [+FB]FB p=1 [-FB]FB p=1 F #stochastic end #rules end