Assertion list
swat team (primary) → HasProperty
Results from Ascent++: 2
swat team → HasProperty → necessary 0.25
swat team → HasProperty → rare 0.16