condition:  x /OR/i x
         |  x
x:          y /AND/i y
         |  y