Assertion list
property (aspect of alloy ) → HasProperty
Results from Ascent++: 3
property → HasProperty → useful 0.75
property → HasProperty → superior 0.51
property → HasProperty → equal 0.25