Assertion list
robot (primary) → Desires
Results from Ascent++: 1
robot → Desires → kitty 0.37