Assertion list
preemption (primary) → CapableOf
Results from Ascent++: 1
preemption → CapableOf → set floor 0.25