Assertion list
frank (primary) → HasPrerequisite

Results from Ascent++: 1
frankHasPrerequisite money 0.25