Left-sorted BPs have the keyword "right-full" on the OEBP.

BPs are sorted based on how BP573 (@left-full) would sort them were they flipped; see that page for a description.

For non-@meta BPs, right-full implies @right-finite (at least until the OEBP implements a feature that allows algorithmic generation of infinite examples).

For non-meta-BPs (right-BP537), right-full implies right-finite (left-BP516) (at least until the OEBP implements a feature that allows algorithmic generation of infinite examples).

Left-sorted BPs have the keyword "right-full" on the OEBP.

BPs are sorted based on how BP573 ("left-full") would sort them were they flipped; see that page for a description.

For non-meta-BPs (right-BP537), right-full implies right-finite (left-BP516) (at least until the OEBP implements a feature on the OEBP that allows algorithmic generation of infinite examples).

Aaron David Fairbanks

BP page intends to include all possible examples fitting right vs. other BP pages.

Left examples have the keyword "-full" on the OEBP.

This is sorts BPs based on how BP573 ("+full") would sort them were they flipped; see that page for a description.

For non-meta-BPs (right-BP537), -full implies -finite (left-BP516), unless we implement a feature on the OEBP that allows algorithmic generation of infinite examples.