Assertion list
mailbox (primary) → AtLocation
Results from Ascent++: 1
mailbox → AtLocation → intersecting road 0.25