Assertion list
spent catalyst (subgroup of catalyst ) → CapableOf

Results from Ascent++: 1
spent catalystCapableOf fall down into the stripper 0.68