(Program
  (Function
  { (Identifier)
  ->(Identifier) }
  { (Params)
  ->(Params
      (Other "required_parameter"
        (Identifier))
      (Other "required_parameter"
        (Identifier))) }
  {+(ExpressionStatements
      (Identifier))+}
  {-(Return
      (Boolean))-}))