   G a 
   G (a -> ( ( - b ) | c ) ) 
   G ( - c ) 
  ( F ( - b ) ) -> z 
   G (z -> ( F k ) ) 
