Assertion list
suitor (primary) → Desires
Results from Ascent++: 1
suitor → Desires → marry penelope 0.25