@testexample implies @side.

%testexample implies %side.

Left-sorted Bongard Problems have the keyword "testexample" on the OEBP.

BP517 ("sorts self left vs. sorts self right") does not quite fit left; it is about the sorting of a specific example, but a different example for every Bongard Problem.

BP517 ("sorts self left vs. sorts self right") does not quite fit left; it is about the sorting of a specific example, but a different example for every Bongard Problem.

Meta Bongard Problems of the form "would sort [specific example] left vs. would sort [specific example] right" vs. other meta Bongard Problems.

Meta Bongard Problems of the form "sorts [specific example] left vs. sorts [specific example] right" vs. other meta Bongard Problems.

Aaron David Fairbanks

Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9881 cannot fit on the left hand side as well.

The left hand side implies the left hand side of BP1116.

The right hand side does not imply the right hand side of BP1116. (EX9881 is meant to be a counterexample.)

Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9877 cannot fit on the left hand side as well.

Currently, the solution is overridden by BP1116. (See @overriddensolution.) Can more examples be added to fix this?

The left hand side implies the left hand side of BP1116.

Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9877 cannot fit on the left hand side as well.

The left hand side implies the left hand side of BP1116.

The right hand side does not imply the right hand side of BP1116. (EX9877 are examples that fit right here but fit left in BP1116.)

Proofs still needed that all the examples on the left hand side cannot fit on the right hand side as well, and that EX9876 and EX9877 cannot fit on the left hand side as well.

The left hand side implies the left hand side of BP1116.

The right hand side does not imply the right hand side of BP1116. (EX9876 and EX9877 are examples that fit right here but fit left in BP1116.)

Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.

The left hand side implies the left hand side of BP1116.

The right hand side does not imply the right hand side of BP1116. (EX9876 is an example of something that fits right here but fits left in BP1116.)

Proofs still needed that the examples on the left hand side cannot fit on the right hand side as well.

EX9876 is an example of something that fits right here but fits left in BP1116.