Left examples have the keyword "overriddensolution" on the OEBP.
An "overriddensolution" is solution idea that would not be chosen because there is a simpler solution that always comes with it.
One case this happens is happen when the left and right side patterns are not negations of one another, and these patterns are not recognizable without counter-examples. BPs whose left-side pattern (resp. right-side pattern) can be recognized alone without the counter-examples on the other side are labelled "left-narrow" left-BP513 (resp. "right-narrow" left-BP514). |