Formal model for defender method resolution

[Larry Cable]

> What do people think?  Do you find this interpretation of B (m() 
> continues to use A's default) confusing or natural (or both)?

I'm not a language lawyer, however I personally find that despite the lack of 
a precident in Java of (partial) signature inheritance, I think the "extension" 
or 

application of the behavior where "if not overridden, an ancestoral 
implementation 

is inherited" to be perfectly natural and not at all confusing; once one 
comprehends
the idea of interfaces having behavior and the notion of defaults this is not a 
leap
of comprehension for me at least.

Regards

Larry