Assertion list
property (aspect of foam ) → HasProperty
Results from Ascent++: 1
property → HasProperty → important 0.59