Assertion list
semiconductor (primary) → IsA
Results from Ascent++: 2
semiconductor → IsA → useful devices 0.30
semiconductor → IsA → device 0.25