Assertion list
migration (aspect of monarch ) → HasProperty
Results from Ascent++: 1
migration → HasProperty → underway 0.68