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 “^” (carrot) 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

Type A1 specializes A

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.