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