Assertion list
brown (primary) → UsedFor
Results from Ascent++: 2
brown → UsedFor → copper 0.27
brown → UsedFor → external pipe-work 0.19