Assertion list
collection (aspect of library ) → AtLocation
Results from Ascent++: 1
collection → AtLocation → new format 0.28