Assertion list
close proximity (subgroup of proximity ) → HasProperty
Results from Ascent++: 1
close proximity → HasProperty → bothersome 0.59