Assertion list
automaker (primary) → Desires
Results from Ascent++: 1
automaker → Desires → sell car 0.25