Bongard Problems with a finite number of left examples.

Left-sorted BPs have the keyword "left-finite" in the OEBP.

How to distinguish between different examples depends on the Bongard Problem. For example, in BPs about little black dots, examples may be naturally considered the same when they have the same number of dots in all the same positions.

Note that this is not just BP516 ("right-finite") flipped.

"Left-finite" implies left-BP513

Left examples have the keyword "+finite" in the OEBP.

How to distinguish between different examples depends on the Bongard Problem. For example, in BPs about little black dots, examples may be naturally considered the same when they have the same number of dots in all the same positions.

Note that this is not just BP516 flipped.

Left examples have the keyword "+finite" in the OEBP.

How to distinguish between different examples depends on the Bongard Problem. For example, in all BPs about little black dots, examples may be naturally considered the same when they have the same number of dots in all the same positions.

Note that this is not just BP516 flipped.

Left examples have the keyword "+finite" in the OEBP.

How to distinguish between different examples depends on the Bongard Problem. For example, in all Problems about dots, examples may be naturally considered the same when they have the same number of dots in all the same positions.

Note that this is not just BP516 flipped.

Left examples have the keyword "+finite" in the OEBP.

Now to distinguish between "different" examples varies from world to world; ideally a page containing a world should explain criteria for considering examples in that world the same. For example, in all Problems about dots, examples are considered the same when they have the same number of dots in all the same positions.

Note that this is not just BP516 flipped.