Assertion list
slip (primary) → AtLocation
Results from Ascent++: 2
slip → AtLocation → the possession of the court 0.25
slip → AtLocation → the marina 0.25