Assertion list
second phase (subgroup of phase ) → HasProperty
Results from Ascent++: 2
second phase → HasProperty → complete 0.68
second phase → HasProperty → ongoing 0.25