Assertion list
proposed mechanism (subgroup of mechanism ) → HasProperty
Results from Ascent++: 1
proposed mechanism → HasProperty → consistent 0.52