Assertion list
contact (aspect of relay ) → HasProperty
Results from Ascent++: 2
contact → HasProperty → open 0.75
contact → HasProperty → free 0.41