Assertion list
value (aspect of inductor ) → ReceivesAction
Results from Ascent++: 5
value → ReceivesAction → adjusted 0.68
value → ReceivesAction → selected 0.68
value → ReceivesAction → represented by the equation 0.47
value → ReceivesAction → set 0.25
value → ReceivesAction → set in accordance 0.25