Assertion list
searchlight (primary) → HasProperty
Results from Ascent++: 1
searchlight → HasProperty → active 0.31