Assertion list
area (aspect of triangle ) → HasProperty
Results from Ascent++: 5
area → HasProperty → equal 0.84
area → HasProperty → positive 0.49
area → HasProperty → small 0.32
area → HasProperty → rural 0.25
area → HasProperty → smaller 0.25