On Monday, February 8, 2016, Vitaly Burovoy <vitaly.buro...@gmail.com> wrote:
> > 12. At the same time in (subcl. 4.13) mentioned there can be "at least > one NNC" (may be via inheritance?). > > This is a bit hard to reason about given that our implementation of inheritance is non-standard. Are we close to the standard semantics with regard to this particular dynamic? David J.