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