Assertion list
width (aspect of rectangle ) → HasProperty

Results from Ascent++: 2
widthHasProperty equal 0.84
widthHasProperty negative 0.32