Assertion list
bratwurst (primary) → HasProperty
Results from Ascent++: 1
bratwurst → HasProperty → juicy 0.32