Assertion list
alternative mechanism (subgroup of mechanism ) → HasProperty
Results from Ascent++: 1
alternative mechanism → HasProperty → possible 0.68