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