Assertion list
blade (aspect of screwdriver ) → HasProperty
Results from Ascent++: 1
blade → HasProperty → thin 0.16