KERML11 — Textual notation does not expose inherited members

I want to propose is that the textual notation support the display of inherited members using the ^ (caret) symbol. This would allow the textual notation to show both owned and inherited features in a type.

Here is an example of what this might look like:

type A{
      feature q;
}
 
type A1 specializes A{
      ^ feature q;
      feature p;
}

This shows that A1 inherits q (without redefining it) from A and also owns a feature p.

I am not sure which section this would best go in. Also it may be better for higher languages (such as SysML) that has the concept of a view to show this? I wanted to capture the idea here.