CPL @1108 (99.6%) on 07-jun-2018 [ "arg1 in an equilateral arg2" "arg1 of the polynesian arg2" "arg1 an equilateral arg2" "arg1 of the famous Left Bank arg2" "arg1 of the circle inscribed in arg2" "arg1 is an equilateral arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" ] using (centre, triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 of an isosceles arg2" "arg1 of a scalene arg2" ] using (interior_angles, triangle)
CPL @1107 (99.6%) on 24-may-2018 [ "arg1 forming an isosceles arg2" "arg1 of the Hayekian arg2" "arg1 of the scalene arg2" "arg1 of the equilateral arg2" "arg1 form an equilateral arg2" "arg1 of the excentral arg2" "arg1 of an isosceles arg2" "arg1 and an equilateral arg2" ] using (lines, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a scalene arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of the scalene arg2" "arg1 is an equilateral arg2" "arg1 of the equilateral arg2" "arg1 of rouleaux arg2" "arg1 of the Sierpinski arg2" "arg1 of a right arg2" "arg1 of the orthic arg2" ] using (perimeter, triangle)
CPL @1108 (99.9%) on 07-jun-2018 [ "arg1 an isosceles arg2" "arg1 an equilateral arg2" "arg1 of a Sierpinski arg2" "arg1 of an isosceles right arg2" "arg1 the equilateral arg2" "arg1 is an equilateral arg2" "arg1 of an equilateral arg2" "arg1 of a right angled arg2" "arg1 of a right arg2" "arg1 of an Isosceles arg2" ] using (picture, triangle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of the scalene arg2" "arg1 is a scalene arg2" "arg1 and the hypotenuse of arg2" "arg1 of the metalinguistic arg2" "arg1 is called an isosceles arg2" "arg1 of the Rhetorical arg2" "arg1 of the unitarity arg2" "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 and the angles of arg2" "arg1 of the isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 and the included angle of arg2" "arg1 of an isosceles right arg2" "arg1 in an isosceles arg2" "arg1 an equilateral arg2" "arg1 is called a right arg2" "arg1 of the right angled arg2" "arg1 is an equilateral arg2" "arg1 of a scalene arg2" "arg1 of one right arg2" "arg1 form an equilateral arg2" "arg1 of the orthic arg2" "arg1 on an equilateral arg2" "arg1 for the equilateral arg2" "arg1 of a Pythagorean arg2" "arg1 of the equilateral arg2" "arg1 of an Isosceles arg2" "arg1 of the Hayekian arg2" "arg1 is an isosceles arg2" "arg1 of a Reuleaux arg2" "arg1 of scalene arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 forming an isosceles arg2" "arg1 of right angled arg2" "arg1 of isosceles arg2" "arg1 of another right arg2" ] using (sides, triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 in an equilateral arg2" "arg1 forming an isosceles arg2" "arg1 form an equilateral arg2" "arg1 of an isosceles arg2" ] using (stars, triangle)
CPL @1108 (100.0%) on 07-jun-2018 [ "arg1 with an obtuse arg2" "arg1 ABC is a right arg2" "arg1 An equilateral arg2" "arg1 is called an isosceles arg2" "arg1 form an equilateral arg2" "arg1 to the hypotenuse of arg2" "arg1 is an isosceles arg2" "arg1 and the hypotenuse of arg2" "arg1 and an equilateral arg2" "arg1 that is not a right arg2" "arg1 is an equilateral arg2" "arg1 is called a right arg2" "arg1 of any side of arg2" "arg1 or an obtuse arg2" "arg1 is a scalene arg2" "arg1 is an obtuse arg2" "arg1 is yellow and the lower arg2" "arg1 is called right arg2" "arg1 are called the sides of arg2" "arg1 the equilateral arg2" "arg1 must be a right arg2" "arg1 an equilateral arg2" "arg1 and the angles of arg2" ] using (triangle, triangle)
CPL @1108 (93.8%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 in an equilateral arg2" "arg1 form an equilateral arg2" "arg1 an equilateral arg2" ] using (triangles, triangle)
CPL @1108 (93.8%) on 07-jun-2018 [ "arg1 of an equilateral arg2" "arg1 of the Reuleaux arg2" "arg1 of the right angled arg2" "arg1 of the Sierpinski arg2" ] using (version, triangle)
CPL @1107 (99.6%) on 24-may-2018 [ "arg1 of the scalene arg2" "arg1 of a right angle arg2" "arg1 the pascal arg2" "arg1 of the equilateral arg2" "arg1 of an isosceles arg2" "arg1 of a Reuleaux arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" ] using (use, triangle)
CPL @1108 (100.0%) on 07-jun-2018 [ "arg1 of a Sierpinski arg2" "arg1 of the equilateral arg2" "arg1 on the side lines of arg2" "arg1 of an isosceles arg2" "arg1 form an equilateral arg2" "arg1 of any two sides of arg2" "arg1 of a scalene arg2" "arg1 of an isoceles arg2" "arg1 and three sides of arg2" "arg1 of the longest side of arg2" "arg1 in an equilateral arg2" "arg1 of the scalene arg2" "arg1 forms an equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the polynesian arg2" "arg1 on an equilateral arg2" "arg1 P inside arg2" "arg1 of a right arg2" "arg1 of the excentral arg2" "arg1 of an unrequited love arg2" "arg1 of the orthic arg2" "arg1 an equilateral arg2" "arg1 of a equilateral arg2" "arg1 of an unusual love arg2" "arg1 resemble either arg2" "arg1 on the Sierpinski arg2" ] using (points, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of an isosceles arg2" "arg1 of the isosceles arg2" "arg1 of the equilateral arg2" "arg1 to the hypotenuse of arg2" "arg1 of a right arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of an obtuse arg2" "arg1 of an isoceles arg2" ] using (altitude, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of the isosceles arg2" "arg1 of a Pythagorean arg2" "arg1 of an obtuse arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 to the hypotenuse of arg2" "arg1 of the right angled arg2" "arg1 of an Isosceles arg2" "arg1 of right angled arg2" "arg1 of another right arg2" "arg1 is an obtuse arg2" "arg1 is called a right arg2" "arg1 of the famous Golden arg2" "arg1 and an equilateral arg2" "arg1 and the hypotenuse of arg2" "arg1 of the equilateral arg2" "arg1 of one right arg2" "arg1 on an equilateral arg2" "arg1 of a equilateral arg2" "arg1 bisectors of arg2" "arg1 of the unitarity arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 in an equilateral arg2" "arg1 bisector of arg2" "arg1 of a right arg2" "arg1 in a right angle arg2" "arg1 in an isosceles arg2" "arg1 is called right arg2" ] using (angle, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a right angle arg2" "arg1 of an obtuse arg2" "arg1 are the angles of arg2" "arg1 bisectors of arg2" "arg1 and three sides of arg2" "arg1 form an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the unitarity arg2" "arg1 of an Isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 and the included side of arg2" "arg1 in an equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 in a right angled arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" "arg1 of an isoceles arg2" "arg1 in an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" "arg1 in a right angle arg2" ] using (angles, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of the isosceles arg2" "arg1 of a parallelogram and arg2" "arg1 of an equilateral arg2" "arg1 of a right angled arg2" "arg1 of isosceles arg2" "arg1 of an obtuse arg2" "arg1 of a Pythagorean arg2" "arg1 of the circle inscribed in arg2" "arg1 of right angled arg2" "arg1 of an Isosceles arg2" "arg1 of the right angled arg2" "arg1 of a Reuleaux arg2" "arg1 of the Sierpinski arg2" "arg1 of a sector and arg2" "arg1 of a right arg2" "arg1 is known as the golden arg2" "arg1 of the city forms arg2" "arg1 known as the Bermuda arg2" "arg1 of a right angle arg2" "arg1 an isosceles arg2" "arg1 of a Sierpinski arg2" "arg1 of the equilateral arg2" "arg1 of one right arg2" "arg1 is an equilateral arg2" "arg1 of obtuse arg2" "arg1 of the scalene arg2" "arg1 known as the olden arg2" "arg1 of the Ixil arg2" "arg1 and perimeter of arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 known as the Sunni arg2" "arg1 bisectors of arg2" "arg1 of the unitarity arg2" "arg1 of a scalene arg2" "arg1 of an isosceles right arg2" ] using (area, triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 of the orthic arg2" "arg1 of an isosceles arg2" "arg1 of the equilateral arg2" "arg1 of the isosceles arg2" ] using (bisector, triangle)
CPL @1108 (93.8%) on 07-jun-2018 [ "arg1 an equilateral arg2" "arg1 of the equilateral arg2" "arg1 of a right angled arg2" "arg1 of a right arg2" ] using (cases, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 of a Reuleaux arg2" "arg1 of an isosceles arg2" "arg1 of the equilateral arg2" "arg1 of the Reuleaux arg2" "arg1 of the excentral arg2" "arg1 of an equilateral arg2" ] using (centroid, triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of an isosceles arg2" "arg1 of the orthic arg2" "arg1 of the equilateral arg2" ] using (circumcircle, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of the sacred Egyptian arg2" "arg1 of an equilateral arg2" "arg1 of the circumcircle of arg2" "arg1 the equilateral arg2" "arg1 of a Penrose arg2" "arg1 An equilateral arg2" "arg1 of the isosceles arg2" "arg1 of an isosceles right arg2" "arg1 with an obtuse arg2" "arg1 of an isosceles arg2" "arg1 of the equilateral arg2" "arg1 techniques used to construct arg2" "arg1 of the Sierpinski arg2" "arg1 of a right arg2" ] using (construction, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of a equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 of an isosceles arg2" "arg1 of a right angle arg2" "arg1 of the isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of a scalene arg2" "arg1 of the equilateral arg2" "arg1 in an equilateral arg2" "arg1 form an equilateral arg2" "arg1 of the longest side of arg2" "arg1 of a Reuleaux arg2" ] using (corners, triangle)
CPL @1107 (99.6%) on 24-may-2018 [ "arg1 of an obtuse arg2" "arg1 of obtuse arg2" "arg1 of scalene arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of a right arg2" "arg1 of isosceles arg2" "arg1 of an equilateral arg2" ] using (definition, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of an isosceles arg2" "arg1 of a right arg2" "arg1 is an equilateral arg2" "arg1 of the right angled arg2" "arg1 of an equilateral arg2" ] using (diagram, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 for the equilateral arg2" "arg1 of the isosceles arg2" "arg1 is called an isosceles arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" "arg1 in an isosceles arg2" "arg1 of isosceles arg2" "arg1 is an equilateral arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 is an isosceles arg2" ] using (equal_sides, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a Reuleaux arg2" "arg1 an equilateral arg2" "arg1 is an equilateral arg2" "arg1 of the equilateral arg2" "arg1 of a Penrose arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 of an isosceles arg2" "arg1 the equilateral arg2" ] using (example, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (99.2%) on 07-jun-2018 [ "arg1 ABC is a right arg2" "arg1 of a right angle arg2" "arg1 of the equilateral arg2" "arg1 is an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" ] using (figure, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 is the longest side of arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of another right arg2" "arg1 of an isosceles right arg2" "arg1 of one right arg2" "arg1 in a right angled arg2" "arg1 of a Pythagorean arg2" "arg1 of the isosceles arg2" "arg1 of the sacred Egyptian arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of the right angled arg2" ] using (hypotenuse, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of any two sides of arg2" "arg1 is called an isosceles arg2" "arg1 of the three sides of arg2" "arg1 an equilateral arg2" "arg1 An equilateral arg2" "arg1 of any side of arg2" "arg1 of the third side of arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of the longest side of arg2" "arg1 of the hypotenuse of arg2" "arg1 of the short side of arg2" "arg1 of an isosceles arg2" "arg1 of the medians of arg2" "arg1 of the equilateral arg2" "arg1 of the isosceles arg2" "arg1 of all three sides of arg2" ] using (length, triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 of an isosceles arg2" "arg1 of the equilateral arg2" "arg1 of the three sides of arg2" "arg1 of a right arg2" ] using (medians, triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 of an isosceles arg2" "arg1 of an obtuse arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" ] using (peak, triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of the Reuleaux arg2" "arg1 of the equilateral arg2" "arg1 of an isosceles arg2" ] using (principle, triangle)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg1 of the three sides of arg2" "arg1 of a right arg2" "arg1 in a right angle arg2" "arg1 in a right angled arg2" ] using (ratios, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 is called a right arg2" "arg1 is called right arg2" "arg1 and an equilateral arg2" "arg1 of a right arg2" "arg1 of an isosceles arg2" ] using (right_angle, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of the unitarity arg2" "arg1 of a equilateral arg2" "arg1 of a Penrose arg2" "arg1 of a Sierpinski arg2" "arg1 of the Hayekian arg2" "arg1 of isosceles arg2" "arg1 of a Reuleaux arg2" "arg1 is a scalene arg2" "arg1 an equilateral arg2" "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" "arg1 is an equilateral arg2" "arg1 of a Pythagorean arg2" "arg1 of an obtuse arg2" "arg1 of an isoceles arg2" "arg1 of a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an isosceles right arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" ] using (shape, triangle)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg1 of the longest side of arg2" "arg1 of the hypotenuse of arg2" "arg1 of the Hayekian arg2" "arg1 of a right arg2" ] using (slope, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of another right arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of an isosceles right arg2" "arg1 of an isosceles arg2" "arg1 of a scalene arg2" "arg1 of an isoceles arg2" "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 forming an isosceles arg2" "arg1 and the hypotenuse of arg2" "arg1 of an Isosceles arg2" "arg1 and the included angle of arg2" "arg1 of the equilateral arg2" ] using (two_sides, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 in a right angle arg2" "arg1 of a right arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of an isosceles arg2" "arg1 of an obtuse arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of the equilateral arg2" ] using (vertex, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an equilateral arg2" "arg1 on an equilateral arg2" "arg1 of an isosceles arg2" "arg1 of the isosceles arg2" "arg1 of the famed golden arg2" "arg1 of an isosceles right arg2" "arg1 of a right arg2" "arg1 of an obtuse arg2" "arg1 are called the sides of arg2" "arg1 of the orthic arg2" "arg1 of an equilateral arg2" "arg1 of a equilateral arg2" ] using (vertices, triangle)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg1 called the Bermuda arg2" "arg1 an equilateral arg2" "arg1 form an equilateral arg2" "arg1 of the equilateral arg2" ] using (place, triangle)
CPL @1108 (93.8%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of the Sierpinski arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" ] using (border, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of an isosceles arg2" "arg1 of the right angled arg2" "arg1 of isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 of a right arg2" "arg1 of an obtuse arg2" "arg1 an equilateral arg2" "arg1 of the medians of arg2" "arg1 of a right angle arg2" "arg1 an isosceles arg2" "arg1 of the Reuleaux arg2" "arg1 of an equilateral arg2" "arg1 for the equilateral arg2" "arg1 of an isosceles right arg2" "arg1 of the Sierpinski arg2" "arg1 of obtuse arg2" "arg1 of a Reuleaux arg2" "arg1 the equilateral arg2" "arg1 is an isosceles arg2" "arg1 of the equilateral arg2" ] using (case, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of the third side of arg2" "arg1 of the famed golden arg2" "arg1 of the isosceles arg2" "arg1 of an unusual love arg2" "arg1 of a right arg2" "arg1 of a huge trade arg2" "arg1 of the heavily urbanized arg2" "arg1 of the equilateral arg2" "arg1 of a equilateral arg2" "arg1 of a right angled arg2" "arg1 of an equilateral arg2" "arg1 of my Dr arg2" "arg1 of the Ixil arg2" "arg1 of a deadly love arg2" "arg1 of an isosceles arg2" ] using (part, triangle)
CPL @1108 (98.4%) on 07-jun-2018 [ "arg1 of the unitarity arg2" "arg1 of a right arg2" "arg1 of the Hayekian arg2" "arg1 of the three sides of arg2" "arg1 of an equilateral arg2" "arg1 of a right angled arg2" ] using (terms, triangle)
CPL @1107 (99.2%) on 24-may-2018 [ "arg1 of another right arg2" "arg1 of the unitarity arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of the Sierpinski arg2" "arg1 of an isosceles arg2" "arg1 of the right angled arg2" ] using (parts, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (100.0%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 of the famous Left Bank arg2" "arg1 of the isosceles arg2" "arg1 of the circle inscribed in arg2" "arg1 of the sacred Egyptian arg2" "arg1 forms an equilateral arg2" "arg1 of a deadly love arg2" "arg1 of the circumcircle of arg2" "arg1 an equilateral arg2" "arg1 of the orthic arg2" "arg1 is an equilateral arg2" "arg1 of the medians of arg2" "arg1 of an equilateral arg2" ] using (center, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 of the circumcircle of arg2" "arg1 of a scalene arg2" "arg1 of the isosceles arg2" "arg1 of an equilateral arg2" "arg1 of a right arg2" "arg1 of the scalene arg2" ] using (interior, triangle)
CPL @1108 (98.4%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of obtuse arg2" "arg1 of an equilateral arg2" "arg1 of the sacred Egyptian arg2" "arg1 of isosceles arg2" ] using (image, triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 of the third side of arg2" "arg1 is called an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the hypotenuse of arg2" ] using (measure, triangle)