Assertion list
rate cut (subgroup of cut ) → CapableOf
Results from Ascent++: 1
rate cut → CapableOf → come at time 0.59