Assertion list
awl (primary) → HasProperty
Results from Ascent++: 2
awl → HasProperty → disposable 0.43
awl → HasProperty → sharp 0.43