Assertion list for term "come with goal".

Results from Ascent++: 1
victory CapableOfcome with goal 0.16