Assertion list
conductivity (aspect of semiconductor ) → IsA
Results from Ascent++: 1
conductivity → IsA → p-type 0.25