Assertion list
freedom (aspect of slave ) → HasProperty
Results from Ascent++: 2
freedom → HasProperty → possible 0.44
freedom → HasProperty → close 0.25