Assertion list
linux kernel (subgroup of kernel ) → IsA
Results from Ascent++: 2
linux kernel → IsA → monolithic kernel 0.60
linux kernel → IsA → version 0.25