Assertion list for term "higher resistivity".

Results from Ascent++: 1
alloy HasAhigher resistivity 0.25