Assertion list
rental (primary) → HasPrerequisite
Results from Ascent++: 1
rental → HasPrerequisite → deposit 0.55