Assertion list
dry dock (primary) → UsedFor
Results from Ascent++: 2
dry dock → UsedFor → the construction 0.68
dry dock → UsedFor → maintenance 0.65