Assertion list
edge (aspect of spatula ) → HasProperty
Results from Ascent++: 1
edge → HasProperty → thin 0.68