Assertion list
tinsel (primary) → HasProperty
Results from Ascent++: 2
tinsel → HasProperty → dangerous 0.16
tinsel → HasProperty → sharp 0.16