Assertion list
kernel (primary) → PartOf
Results from Ascent++: 1
kernel → PartOf → the tcb 0.37