Problem analyzing IR 2085 What happens when a parameter of mode out is not assigned in a procedure?

I have been trying to analyze this IR. We discussed it at the last ISAC 
meeting. But I have two interrelated problems with my analysis.

First, clause 12.5 Dynamic elaboration states: "Execution of a 
subprogram call involces the elaboration of the parameter interface list
of the corresponding subprogram declaration; this involves the 
elaboration of each interface declaration
to create the corresponding formal parameters."

I have not been able to find any explicit reference to elaboration of 
interface declarations.

Second, clause 12.3.1.4 "Object declarations" describes elaboration of 
object declarations. In our meeting we decided that
object declarations include interface declarations. However, I can find 
no wording to justify this claim. In fact, the LRM
in clause 4.3.1 "Object declarations" states "an object declaration 
declares an object of a specified type. Such an object is called an 
explicitly declared object.

object_declaration ::=
    constant_declaration
   | signal_declaration
   | variable_declaration
   | file_declaration

This implies that interface object declarations are not object declarations.

Any ideas about how to resolve this?

Chuck Swart