base (6)!(3)W
rule (x)W !(x)F[(45)&(0.6*x)X](137.5)/(0.9*x)W
rule (x)X !(x)F[(45)-(0.6*x)Y](10)&(30)\(0.9*x)Y<g(0.2)L>
rule (x)Y !(x)F[(45)+(0.6*x)X](15)^(40)/(0.9*x)X<g(0.2)L>