(Statements
  (Import
  {+(Identifier)+}
  { (Identifier)
  ->(Identifier) }
  { (Identifier)
  ->(Identifier) }
  {-(Asterisk)-}))