restriction_pragma

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