Assertion list
bologna (primary) → HasProperty
Results from Ascent++: 2
bologna → HasProperty → notable 0.25
bologna → HasProperty → walkable 0.21