Assertion list
r value (aspect of foam ) → HasProperty

Results from Ascent++: 1
r valueHasProperty low 0.59