Assertion list
compressor (primary) → IsA
Results from Ascent++: 2
compressor → IsA → device 0.70
compressor → IsA → mechanical device 0.46