at_clause

at_clause ::= "for" direct_name "use" "at" expression ";" 

This rule is called by

-> representation_clause