formal_package_declaration

formal_package_declaration ::= 
      "with" "package" defining_identifier "is" 
      "new" package_name formal_package_actual_part ";" 

This rule is called by

-> generic_formal_parameter_declaration