Ada 语言理解：重命名包的子代

Question

让我们说，带有子包的包：

-- a.ads
package A is
end A;

-- a-b.ads
package A.B is
end A.B;

现在我想将A重命名为X ：

-- x.ads
package X renames A;

问题一是：子包AB是否也可以重命名为XB来访问？

-- test.adb
with X.B; -- Is it ok? Why?
...

问题二是：为重命名的包创建子包是否合法，比如XC ？

它看起来像在 GNAT 中被重命名，但它是标准行为吗？ 对 2005 年和 2012 年 LRM 的一些阅读并没有让我明白这一点。 能否请您指出 LRM 中回答我问题的部分？