restriction_pragma

restriction_pragma ::= "pragma" "Restrictions" 
      "(" restriction { "," restriction } ")" ";" 

[rule list]