Assertion list
diffuser (primary) → IsA
Results from Ascent++: 2
diffuser → IsA → device 0.57
diffuser → IsA → electrical device 0.25