Assertion list
boy (primary) → Desires
Results from Ascent++: 1
boy → Desires → dog 0.58