(Program
{+(Binary
    (Identifier)
    (Other "and")
    (Identifier))+}
  (Binary
  { (Identifier)
  ->(Identifier) }
    (Other "or")
  { (Identifier)
  ->(Identifier) })
{+(Binary
    (Identifier)
    (Other "and")
    (Identifier))+})