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