Assertion list
power rating (aspect of resistor ) → HasProperty

Results from Ascent++: 1
power ratingHasProperty proportional 0.25