anchor.diff:     (WS)* R_PAREN
   
      {
  -      /* TODO */
         $result =
            (
               ($bl_formula.result)
  
positive.code:    (WS*) R_PAREN
  
     {
        /* TODO */
        $result =
           ($f.result).forAll
           (
  
negative.code:    (WS)* R_PAREN
  
     {
        $result =
           (
              ($bl_formula.result)
  