#ignore + - \ / ^ & #axiom P(0,0) #rules P(a,c) : c>=50 -> P(a+1,0) P(a,c) : c<50 -> G\(90)[-P(0,0)]P(0,0) W(a) : a<7 -> W(a+1) W(a) : a>=7 -> B