Assertion list
close proximity (subgroup of proximity ) → IsA
Results from Ascent++: 1
close proximity → IsA → suitable distance 0.25