axiom P(0,1,0) G(-8,-6.9282) S(0.5) A(120) t+s+s+; rules 5 t=t+s-t-s+t; s=ss; end rules 1 t=F; s=F; end