Assertion list
runaway slave (subgroup of slave ) → CapableOf
Results from Ascent++: 1
runaway slave → CapableOf → escape to freedom 0.25