Assertion list
right (aspect of slave ) → HasProperty
Results from Ascent++: 1
right → HasProperty → free 0.56