Assertion list
pure silicon (subgroup of silicon ) → IsA
Results from Ascent++: 2
pure silicon → IsA → semiconductor 0.68
pure silicon → IsA → poor conductor of electricity 0.16