restriction

restriction ::= identifier [ "=>" expression ] 

This rule is called by

-> restriction_pragma