> (run-explorer polygon-examples) Examples verified. Beginning exploration ... Conjecturing that RIGHT-ANGLES=1 is SPECIALIZATION to SIDES=3 Conjecturing that EQUAL-SIDES=4 is GENERALIZATION to RIGHT-ANGLES=4 Conjecturing that EQUAL-SIDES=4 is SPECIALIZATION to SIDES=4 Conjecturing that ANGLE-SUM=360 is GENERALIZATION to EQUAL-SIDES=4 Conjecturing that ANGLE-SUM=360 is GENERALIZATION to RIGHT-ANGLES=4 Conjecturing that ANGLE-SUM=360 is EQUIVALENT to SIDES=4 Conjecturing that ANGLE-SUM=180 is GENERALIZATION to EQUAL-SIDES=3 Conjecturing that ANGLE-SUM=180 is GENERALIZATION to RIGHT-ANGLES=1 Conjecturing that ANGLE-SUM=180 is EQUIVALENT to SIDES=3 Conjecturing that PARALLEL-SIDES=2 is SPECIALIZATION to ANGLE-SUM=360 Conjecturing that PARALLEL-SIDES=2 is GENERALIZATION to EQUAL-SIDES=4 Conjecturing that PARALLEL-SIDES=2 is GENERALIZATION to RIGHT-ANGLES=4 Conjecturing that PARALLEL-SIDES=2 is SPECIALIZATION to SIDES=4 Conjecturing that PARALLEL-SIDES=0 is GENERALIZATION to ANGLE-SUM=180 Conjecturing that PARALLEL-SIDES=0 is GENERALIZATION to EQUAL-SIDES=3 Conjecturing that PARALLEL-SIDES=0 is GENERALIZATION to RIGHT-ANGLES=1 Conjecturing that PARALLEL-SIDES=0 is GENERALIZATION to SIDES=3 Conjecturing that PARALLEL-SIDES=1 is SPECIALIZATION to ANGLE-SUM=360 Conjecturing that PARALLEL-SIDES=1 is SPECIALIZATION to EQUAL-SIDES=2 Conjecturing that PARALLEL-SIDES=1 is SPECIALIZATION to RIGHT-ANGLES=0 Conjecturing that PARALLEL-SIDES=1 is SPECIALIZATION to SIDES=4 Conjecturing that EQUAL-SIDES=3 is SPECIALIZATION to RIGHT-ANGLES=0 Conjecturing that EQUAL-SIDES=3 is SPECIALIZATION to SIDES=3 Conjecturing that RIGHT-ANGLES=4 is SPECIALIZATION to SIDES=4 Conjecturing that SIDES=4 RIGHT-ANGLES=0 is GENERALIZATION to PARALLEL-SIDES=1 Conjecturing that SIDES=4 RIGHT-ANGLES=0 is SPECIALIZATION to ANGLE-SUM=360 Conjecturing that SIDES=3 RIGHT-ANGLES=0 is SPECIALIZATION to PARALLEL-SIDES=0 Conjecturing that SIDES=3 RIGHT-ANGLES=0 is SPECIALIZATION to ANGLE-SUM=180 Conjecturing that SIDES=3 RIGHT-ANGLES=0 is GENERALIZATION to EQUAL-SIDES=3 Conjecturing that EQUAL-SIDES=2 RIGHT-ANGLES=0 is GENERALIZATION to PARALLEL-SIDES=1 Conjecturing that EQUAL-SIDES=3 RIGHT-ANGLES=0 is SPECIALIZATION to SIDES=3 RIGHT-ANGLES=0 Conjecturing that EQUAL-SIDES=3 RIGHT-ANGLES=0 is SPECIALIZATION to PARALLEL-SIDES=0 Conjecturing that EQUAL-SIDES=3 RIGHT-ANGLES=0 is SPECIALIZATION to ANGLE-SUM=180 Conjecturing that EQUAL-SIDES=3 RIGHT-ANGLES=0 is SPECIALIZATION to SIDES=3 Conjecturing that EQUAL-SIDES=4 RIGHT-ANGLES=0 is SPECIALIZATION to SIDES=4 RIGHT-ANGLES=0 Conjecturing that EQUAL-SIDES=4 RIGHT-ANGLES=0 is SPECIALIZATION to PARALLEL-SIDES=2 Conjecturing that EQUAL-SIDES=4 RIGHT-ANGLES=0 is SPECIALIZATION to ANGLE-SUM=360 Conjecturing that EQUAL-SIDES=4 RIGHT-ANGLES=0 is SPECIALIZATION to SIDES=4 Conjecturing that ANGLE-SUM=360 RIGHT-ANGLES=0 is GENERALIZATION to EQUAL-SIDES=4 RIGHT-ANGLES=0 Conjecturing that ANGLE-SUM=360 RIGHT-ANGLES=0 is EQUIVALENT to SIDES=4 RIGHT-ANGLES=0 Conjecturing that ANGLE-SUM=360 RIGHT-ANGLES=0 is GENERALIZATION to PARALLEL-SIDES=1 Conjecturing that ANGLE-SUM=360 RIGHT-ANGLES=0 is SPECIALIZATION to SIDES=4 The Current Five Most Interesting Concepts 100.000 concept-0068 ANGLE-SUM=360 Pos-examples: PARALLELOGRAM SQUARE QUADRILATERAL REGULAR-TRAPEZOID RHOMBUS Neg-examples: ISOCELES-TRIANGLE RIGHT-TRIANGLE TRIANGLE EQUILATERAL-TRIANGLE RIGHT-ISOCELES-TRIANGLE Conjectures: (GENERALIZATION #:|concept-0243|) (GENERALIZATION #:|concept-0198|) (GENERALIZATION #:|concept-0108|) (GENERALIZATION #:|concept-0113|) (EQUIVALENT #:|concept-0008|) (GENERALIZATION #:|concept-0023|) (GENERALIZATION #:|concept-0048|) 100.000 concept-0063 ANGLE-SUM=180 Pos-examples: EQUILATERAL-TRIANGLE TRIANGLE RIGHT-TRIANGLE RIGHT-ISOCELES-TRIANGLE ISOCELES-TRIANGLE Neg-examples: QUADRILATERAL RHOMBUS SQUARE PARALLELOGRAM REGULAR-TRAPEZOID Conjectures: (GENERALIZATION #:|concept-0238|) (GENERALIZATION #:|concept-0193|) (SPECIALIZATION #:|concept-0103|) (EQUIVALENT #:|concept-0003|) (GENERALIZATION #:|concept-0018|) (GENERALIZATION #:|concept-0043|) 100.000 concept-0008 SIDES=4 Pos-examples: QUADRILATERAL RHOMBUS SQUARE PARALLELOGRAM REGULAR-TRAPEZOID Neg-examples: TRIANGLE RIGHT-ISOCELES-TRIANGLE ISOCELES-TRIANGLE RIGHT-TRIANGLE EQUILATERAL-TRIANGLE Conjectures: (GENERALIZATION #:|concept-0298|) (GENERALIZATION #:|concept-0243|) (GENERALIZATION #:|concept-0023|) (GENERALIZATION #:|concept-0108|) (GENERALIZATION #:|concept-0113|) (EQUIVALENT #:|concept-0068|) (GENERALIZATION #:|concept-0048|) 100.000 concept-0003 SIDES=3 Pos-examples: EQUILATERAL-TRIANGLE RIGHT-ISOCELES-TRIANGLE TRIANGLE ISOCELES-TRIANGLE RIGHT-TRIANGLE Neg-examples: PARALLELOGRAM RHOMBUS REGULAR-TRAPEZOID QUADRILATERAL SQUARE Conjectures: (GENERALIZATION #:|concept-0238|) (GENERALIZATION #:|concept-0043|) (SPECIALIZATION #:|concept-0103|) (EQUIVALENT #:|concept-0063|) (GENERALIZATION #:|concept-0018|) 96.000 concept-0103 PARALLEL-SIDES=0 Pos-examples: QUADRILATERAL EQUILATERAL-TRIANGLE RIGHT-ISOCELES-TRIANGLE RIGHT-TRIANGLE TRIANGLE ISOCELES-TRIANGLE Neg-examples: SQUARE REGULAR-TRAPEZOID PARALLELOGRAM RHOMBUS Conjectures: (GENERALIZATION #:|concept-0238|) (GENERALIZATION #:|concept-0193|) (GENERALIZATION #:|concept-0003|) (GENERALIZATION #:|concept-0018|) (GENERALIZATION #:|concept-0043|) (GENERALIZATION #:|concept-0063|) Conjecturing that ANGLE-SUM=180 RIGHT-ANGLES=0 > > (dribble)