Assertion list
resistance (aspect of circuit ) → AtLocation
Results from Ascent++: 1
resistance → AtLocation → kilohm 0.29