Assertion list
vampire (primary) → Desires
Results from Ascent++: 1
vampire → Desires → have brunch 0.37