Assertion list for term "main depot".
Results from Ascent++: 1
red line → HasA → main depot 0.25