Assertion list
conductivity (aspect of semiconductor ) → HasProperty

Results from Ascent++: 2
conductivityHasProperty high 0.25
conductivityHasProperty low 0.25