Assertion list
master (aspect of slave ) → HasProperty
Results from Ascent++: 3
master → HasProperty → right 0.25
master → HasProperty → angry 0.16
master → HasProperty → busy 0.16