Assertion list
confederate (primary) → HasProperty
Results from Ascent++: 2
confederate → HasProperty → proactive 0.34
confederate → HasProperty → passive 0.25