Assertion list
incoming call (subgroup of call ) → HasProperty
Results from Ascent++: 1
incoming call → HasProperty → free 0.66