Assertion list
chip inductor (subgroup of inductor ) → ReceivesAction

Results from Ascent++: 1
chip inductorReceivesAction required 0.68