Assertion list
teddy (primary) → Desires
Results from Ascent++: 1
teddy → Desires → spongebob squarepants 0.29