Assertion list
client (aspect of barber ) → HasProperty
Results from Ascent++: 2
client → HasProperty → happy 0.47
client → HasProperty → conversant 0.25