Assertion list
teammate (aspect of goalkeeper ) → HasProperty
Results from Ascent++: 1
teammate → HasProperty → open 0.21