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