Assertion list
triangle (primary) → HasA

Results from Ascent++: 27
triangleHasA three sides 0.70
triangleHasA three angles 0.64
triangleHasA two sides 0.63
triangleHasA three vertices 0.62
triangleHasA angle 0.62
triangleHasA right angle 0.62
triangleHasA same area 0.61
triangleHasA same shape 0.59
triangleHasA three corners 0.55
triangleHasA two congruent sides 0.52
triangleHasA a 90 degree angle 0.52
triangleHasA two equal sides 0.45
triangleHasA vertex 0.44
triangleHasA five legs 0.44
triangleHasA the origin 0.38
triangleHasA the property 0.38
triangleHasA colour 0.38
triangleHasA two angles 0.38
triangleHasA same angles 0.37
triangleHasA height 0.36
triangleHasA short side 0.27
triangleHasA hypotenuse 0.25
triangleHasA particular combination 0.25
triangleHasA six parts 0.25
triangleHasA zero area 0.25
triangleHasA one obtuse angle 0.23
triangleHasA interesting properties 0.16