Assertion list
angle (aspect of rhombus ) → HasProperty
Results from Ascent++: 1
angle → HasProperty → equal 0.41