axiom F+F+F+F+F+F
F {
  2/4 F-F++F-F,
  1/4 F-F-F+F++F+F-F-F,
  1/4 F-F[F]+[F]+F-F
}