Assertion list
conductivity (aspect of metal ) → HasProperty

Results from Ascent++: 2
conductivityHasProperty low 0.59
conductivityHasProperty high 0.41