(Statements
  (Assignment
    (Identifier)
  { (And
    {-(Identifier)-}
    {-(Integer)-})
  ->(Or
    {+(Identifier)+}
    {+(Integer)+}) }))