designator

designator ::= qualident { "." ident | 
      "[" expression { "," expression } "]" | 
      "^" } 

This rule is called by

-> assignment
-> factor
-> procedure_call
-> with_statement