Assertion list
following limit (subgroup of limit ) → CapableOf
Results from Ascent++: 1
following limit → CapableOf → apply to job 0.68