{+(Program
  (Binary
    (Identifier)
    (Other "<=")
    (Identifier))
  (Binary
    (Identifier)
    (Other ">=")
    (Identifier)))+}