Assertion list
kernel (primary) → UsedFor
Results from Ascent++: 1
kernel → UsedFor → their sedative 0.25