Assertion list
linux kernel (subgroup of kernel ) → HasProperty
Results from Ascent++: 1
linux kernel → HasProperty → modular 0.25