Assertion list
store (aspect of field ) → HasProperty
Results from Ascent++: 2
store → HasProperty → open 0.56
store → HasProperty → complete 0.25