(j3.2006) should it make a difference if the interface is explicit or implicit?

[Robert Corbett]

Suppose a routine that can have implicit interface is passed as an
actual argument that becomes associated with a dummy procedure.  If
the dummy procedure has explicit interface, is the actual argument
required to have explicit interface?  If the dummy procedure has
implicit interface, is the actual argument required to have implicit
interface?

My reading of Section 12.4.1.3 of the Fortran 2003 standard is that
if the dummy procedure has explicit interface, then the actual
argument must have explicit interface, but if the dummy procedure
has implicit interface, the actual argument can have either implicit
or explicit interface.  Is that the intended semantics?

Bob Corbett