Assertion list
kit (primary) → IsA
Results from Ascent++: 1
kit → IsA → solid-state electronic devices 0.20