Assertion list
gangster (primary) → HasProperty
Results from Ascent++: 1
gangster → HasProperty → active 0.34