Assertion list
power rating (aspect of resistor ) → ReceivesAction

Results from Ascent++: 1
power ratingReceivesAction exceeded 0.59