Assertion list
perimeter (aspect of rhombus ) → HasProperty

Results from Ascent++: 1
perimeterHasProperty equal 0.84