Assertion list
bismuth (primary) → HasProperty
Results from Ascent++: 1
bismuth → HasProperty → brittle 0.16