Assertion list
face (aspect of hammer ) → HasProperty
Results from Ascent++: 1
face → HasProperty → flat 0.16