Assertion list
resistor (primary) → CreatedBy
Results from Ascent++: 1
resistor → CreatedBy → winding the wire 0.36