CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a right arg1" "arg2 of an isosceles arg1" "arg2 of the orthic arg1" "arg2 of the equilateral arg1" ] using (triangle, circumcircle)
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)
NELL has only weak evidence for items listed in grey
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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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)