!editorial comment 115
!topic  Additional appropriate kinds for Subtype_Mark
!reference  ASIS 95-16.21
!from  Gary Barnes  98-10-14

The appropriate kinds list for this interface is:

    function Subtype_Mark (Definition : in Asis.Definition)  
       return Asis.Expression;
------------------------------------------------------------------------------
-- Definition  - Specifies the definition to query
--
-- Returns the subtype_mark expression of the definition.
--
-- Appropriate Definition_Kinds:
--      A_Subtype_Indication
--      A_Discrete_Subtype_Definition
--          Appropriate Discrete_Range_Kinds:
--               A_Discrete_Subtype_Indication
--      A_Discrete_Range
--          Appropriate Discrete_Range_Kinds:
--               A_Discrete_Subtype_Indication
--      A_Formal_Derived_Type_Definition
--
-- Returns Expression_Kinds:
--      An_Identifier
--      A_Selected_Component
--      An_Attribute_Reference

And should be:

-- Appropriate Definition_Kinds:
--      A_Subtype_Indication
--      A_Discrete_Subtype_Definition
--          Appropriate Discrete_Range_Kinds:
--               A_Discrete_Subtype_Indication
--      A_Discrete_Range
--          Appropriate Discrete_Range_Kinds:
--               A_Discrete_Subtype_Indication
--      A_Formal_Type_Definition
--          Appropriate Formal_Type_Kinds:
--               A_Formal_Derived_Type_Definition

Because A_Formal_Derived_Type_Definition is not directly a Definition_Kinds.

!resolution  Accept.