Assertion list
coupled inductor (subgroup of inductor ) → ReceivesAction
Results from Ascent++: 4
coupled inductor → ReceivesAction → denoted as a1 0.60
coupled inductor → ReceivesAction → illustrated in fig 0.60
coupled inductor → ReceivesAction → denoted as c1 0.54
coupled inductor → ReceivesAction → denoted as b1 0.46