axiom # G( -0.03, -7.41) W(0.03) S(0.06) A(90) P(0,0,1) # +C-F; rules 6 C=T+C+C+C+T; T=FTTF; end rules 1 T=FF; C=F-F-F; end