Assertion list
bondholder (primary) → AtLocation
Results from Ascent++: 1
bondholder → AtLocation → any doubt 0.25