Assertion list
mute swan (subgroup of swan ) → HasProperty
Results from Ascent++: 1
mute swan → HasProperty → aggressive 0.59