Assertion list
barber (primary) → Desires
Results from Ascent++: 1
barber → Desires → diversity 0.67