Sections 5.5.2 and 6.6.8 of the FreePascal Language Reference discuss the "inherited" keyword, but I couldn't find it in the syntax diagrams. Sections 12.2 and 13.1.2. have

procedure-statement = ( procedure-identifier | method-identifier | qualified-method-identifier | variable-reference ) [ actual-parameter-list ] .
function-call = ( function-identifier | method-designator | qualified-method-designator | variable-reference ) [ actual-parameter-list ] .

This can be changed to

procedure-reference = qualified-identifier | procedure-identifier | variable-reference . function-reference = qualified-identifier | function-identifier | variable-reference . procedure-statement = ( "inherited" [ procedure-reference ] | procedure-reference ) [ actual-parameter-list ] .
function-call = ( "inherited" [ function-reference ] | function-reference ) [ actual-parameter-list ] .

That adds the "inherited" keyword, but doesn't include, for example, identifier-casts. The problem with identifier casts is that, grammatically, a cast can not be distinguished from a function call. Therefore, the cast has to be treated, in the grammar, as a (one-parameter) function call.

So, things are more complex that indicated above. A solution may be along the line of what UCSD-Pascal defines ....

selector = "[" expression { "," expression } "]" | "." identifier | "^" . variable = identifier { selector } .

Regards,

Adriaan van Os