CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
NELL has only weak evidence for items listed in grey
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)
CPL @1107 (98.4%) on 24-may-2018 [ "arg1 is a scalene arg2" "arg1 is an isosceles arg2" "arg1 of an isosceles arg2" "arg1 is an equilateral arg2" "arg1 of the isosceles arg2" "arg1 in an isosceles arg2" ] using (congruent_sides, triangle)