Assertion list for term "remove last remaining exchange restriction".
Results from Ascent++: 1
progress → CapableOf → remove last remaining exchange restriction 0.25