Assertion list
wire (primary) → PartOf
Results from Ascent++: 1
wire → PartOf → a circuit 0.50