Assertion list
property (aspect of concrete ) → HasProperty
Results from Ascent++: 2
property → HasProperty → safe 0.39
property → HasProperty → set to be rental 0.25