Assertion list
file folder (primary) → AtLocation
Results from Ascent++: 1
file folder → AtLocation → other file folders 0.16