anchor.diff:  //be careful with this one, since it 
   //matches "()", which can also be an 
   //argument list
  -formalParametersStart
  +parametersStart
       : '(' ( annotatedDeclarationStart | ')' )
       ;
       
  
positive.code:     //| existsCondition
      ;
  
  formalParameters
      : LPAREN (formalParameter (',' formalParameter)*)? ')'
      -> ^(PARAMETER_LIST[$LPAREN] ^(PARAMETER formalParameter)*)
      ;
  
  //Support for declaring functional formal parameters outside
  //of the parenthesized list
  //Note that this is just a TODO in the spec
  extraFormalParameters
      : extraFormalParameter+
      -> ^(PARAMETER_LIST ^(PARAMETER extraFormalParameter)+)
      ;
  
  //special rule for syntactic predicate
  
negative.code:     ;
  
  functionalArgumentParameters
      : (parametersStart) => parameters
      | -> ^(PARAMETER_LIST)
      ;
  
  